Hi all,

Jenkins will be restarted today at 18:00 o'clock. 
Please try not to send patches at least half an hour before.
In case you did, please retrigger them after restart completes.

Thanks
Gil