[Bug web/94349] Bugzilla user preferences are blank

[LpSolit at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94349

--- Comment #3 from Frédéric Buclin <LpSolit at gmail dot com> ---
Hum, what happened recently, server side? The source code didn't change for
months (or if it changed, someone else did).