<div dir="ltr">Hi devs,<br><div><br></div><div>We need to update the version of the Jenkins server. I plan to do that around 0900 CEST Tuesday April 23. I expect it to take less than an hour!</div><div><br></div><div>Mark</div></div>