[DONE!] Patch-and-restart of the web hotelPublished Jun 9, 2022Updated Jun 14, 2022Jira, operational_info, shiny, web_hotel, wordpress Tuesday June 14, at 13:00, the web hotel and and all it’s dependants will be restarted. Expected downtime is short, on the order of 10 minutes.