Hi everybody,

In the course of maintenance, I'll reboot stat1005 in ~5m. The reboot

is needed to clear some stuck state on the GPU, as well as testing an alternative kernel module for GPU access[1], so GPU functionality might not be available immediately after reboot. I will send a follow up mail once things are back to what we would call normal.

Best,

Tobias