Hi all, I finally took an hour to upgrade vmgump (a couple of security relevant updates were waiting) and unfortunately the machine didn't come up after the reboot.
I informed infrastructure and I hope service will resume soon.
Sorry
Stefan
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
