Have gcc.gnu.org mail archive stopped?

[H.J. Lu]

Hi,

Mail archives on gcc.gnu.org haven't been updated for several hours.
Many mails/checkins are missing. Is there something wrong?


H.J.