Comment 1 for bug 1834434

Revision history for this message
Robert Simai (robert-simai) wrote :

Another user checked, I checked again too and it appears working! Difficult to tell if that was a cache issue on my side or a temporary issue on the server side. In any case, the problem seems gone, sorry for the noise and I guess we can close that one.