Maintenance completed, Jenkins back up and running.
Security fixes to the core along with plugin and OS updates were
installed this time:
As always - if you see any issues please report them to Jira.
On Thu, Dec 6, 2018 at 12:31 AM Evgheni Dereveanchin
I'll be performing a planned Jenkins restart within the next hour.
No new jobs will be scheduled during this maintenance period.
I will inform you once it is over.