Lars Volker Mon, 26 Feb 2018 10:22:34 -0800
I'll restart our Jenkins server momentarily to install security updates. No jobs are currently running. I will reply to this email when the update is complete.
Cheers, Lars
