Hi, I need to reboot stat1001, stat1002, stat1003 to update the running Linux kernels on these hosts. I'm planning to make the reboots starting tomorrow 30th September at 13:00 UTC (6am pacific time). If that is a bad time (e.g. because you have long-running or crucial scripts runinng on one of them, please get in touch with me and we can move it to another time. Cheers, Moritz