[DONE!] Restart/patching of the web hotel and other systems
On Wednesday May 11th, at 13:00, the servers hosting our web, the web hotel and Jira will be restarted, to apply patches to the systems. Downtimes for individual systems will be short, on the order of minutes, but due to…