- June 14 Server Maintenance

Just a quick note to say that there will be server maintenance tomorrow June 14th for a while. The server room that hosts is upgrading their UPS. So, no panic you there is no server, it's all under control.

Update: Seems like nothing happenned on June14th, but right now (June 16th) the entire server room is down, so maintenance is occuring now.


Einzelheiten zur Compiler-Optimierung finden Sie in unserem Optimierungshinweis.