I will do some maintenance work on our ticket system on July 1st, which
is the upcoming Thursday.
The maintenance will
* start at 9:00 am UTC+0
* end at 11:00 am UTC+0 (estimated, probably at latest)
During this time, the ticket system will be down and/or unusable. I
will announce as soon as the work is finished.
The maintenance will cover:
* Updating the system to the newest stable release
* Updating the ticket system to the newest stable release
Felix
