<div dir="ltr">Hi all,<div><br></div><div>Jenkins restart is planned today at 18:00.</div><div>Patches that will be sent or merged up to an hour before that time might fail and would need to be re-triggered.</div><div>If there&#39;s any urgent patch that needs to be sent or merged at that time, please let me know before 18:00.</div><div><br></div><div>Thanks</div><div>Gil</div></div>