[HOTCRP] Scheduled Restart of hotcrp.llvm.org tomorrow, 2018-07-17 @ 12:00PDT

Hi,
We will be applying security updates to the hotcrp.llvm.org server tomorrow and as a result will need to restart the server at 12:00PDT. The restart should only take a few minutes. We hope to have everything back up and running at or before 12:30PDT. A follow up notification will be sent once the restart has been completed and the server is back online. Thank you for your patience and cooperation.

Respectfully,
Mike Edwards

Hi,
Just a reminder we will be restarting the hotcrp.llvm.org server in 15 minutes.

Thanks,
Mike

Hi,
The system updates and restart of hotcrp.llvm.org have been completed successfully. The system is back online and processing requests as expected. Thank you for your patience. Enjoy the rest of your day.

Respectfully,
Mike Edwards