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