Am Tue, Oct 29, 2024 at 02:14:33PM +0000 schrieb Christopher Baines: > I ended up pressing the power button to restart it, but it seems to have > come up OK. I've also reconfigured with some more sysadmins so hopefully > other people can access the machine.
Excellent, thanks a lot for your reactivity! Andreas
