ircbox, cipterm0 Maintenance
On 3rd August ircbox and cipterm0 will be rebooted. Both will be unavailable between 10pm-12pm for a short period of time.
-- Michael Gebhard