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