I will take the jenkins server down for an os update oct 27 early morning (around 6 CEST) unless there are pressing reasons not to do this at this time (ie you are free to object). If all goes well it should be back up again before normal working hours, but I'm not naive enough to think that all goes well so expect some downtime 😉 arnem