<div dir="ltr">Hi all,<div><br></div><div>Jenkins will be restarted today at 18:00 o&#39;clock. </div><div>Please try not to send patches at least half an hour before.</div><div>In case you did, please retrigger them after restart completes.</div><div><br></div><div>Thanks</div><div>Gil</div></div>