murphy to be rebooted
FOR IMMEDIATE RELEASE.
I'm upgrading the kernel on murphy. It should be back in a few minutes.
To see which services might become unavailable, if any, please consult
<URL:https://db.debian.org/machines.cgi?host=murphy>.
We apologize for any potential inconvenience that might arise from this
required and important maintenance procedure.
Thank you for your patience.
About the DSA team
------------------
The Debian System Administrators take care of the debian.org infrastructure.
They can be contacted during office hours at the d-a@ldo mailinglist or at
d-a@do for confidential matters.
Reply to: