Maintenance announcement Jan. 11, 2017, 1:40 p.m. by jabber.rwth-aachen.de

Friday morning (Jan 13th, 2017), around 8 AM the server will be unavailable for a short period of time due to maintenance work.

Language