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...@ldo mailinglist or at d...@do for confidential matters. -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
