Upstream Jenkins maintenance window

[Laszlo Gaal]

Hi,

The upstream Jenkins precommit server is taken offline for a short
maintenance window.
The outage is expected to last for less than an hour; mail will be sent
when the service is available again.

Thank you for your patience,

  - LaszloG