[Savannah-hackers-public] Savannah is still not out of the woods

[Eli Zaretskii]

The https://hostux.social/@fsfstatus page says Savannah is back on
line, but I cannot login to Savannah.  I get this error in the browser:

Fatal error: Uncaught Error: Call to undefined function user_get_uids_array() 
in /opt/savane/share/savane/frontend/php/include/user.php:135
 Stack trace:
 #0 /opt/savane/share/savane/frontend/php/include/sitemenu.php(441): 
user_getname()
 #1 /opt/savane/share/savane/frontend/php/include/sitemenu.php(435): 
sitemenu_loggedin()
 #2 /opt/savane/share/savane/frontend/php/include/sitemenu.php(80): 
menu_loggedin()
 #3 /opt/savane/share/savane/frontend/php/include/layout.php(243): sitemenu()
 #4 /opt/savane/share/savane/frontend/php/index.php(49): Layout->header()
 #5 {main} thrown in /opt/savane/share/savane/frontend/php/include/user.php on 
line 135

Can this be fixed, please?

TIA