[Update: 22:35] All systems are patched and online. Please contact support with any questions or concerns. [Update: 18:31] Many systems have been rebooted and patching completed. Updates will be posted with more information once more systems are finished. On Tuesday, 19 May 2020 between 17:00 and 23:00, general system maintenance, including updates and reboots, will …