- 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.


For more complete information about compiler optimizations, see our Optimization Notice.