Server down on Sept 1st?

[amandus]

No problem. Normally we react a bit sooner (if it’s during working hours) but the guys who usually have an eye on this are sick or on vacation today