Jenkins restart is planned today at 18:00.
Patches that will be sent or merged up to an hour before that time might
fail and would need to be re-triggered.
If there's any urgent patch that needs to be sent or merged at that time,
please let me know before 18:00.