Dear everybody,
sorry for the short notice. The CRUX server will be going down for a
planned maintenance starting somewhen around 06:00 AM UTC this Saturday,
the 17th of February.
We will be working on getting the services up and running shortly, but
this might take a minute longer.
Thanks for your patience!
Best regards,
Tim
