villa to be rebooted
FOR IMMEDIATE RELEASE.
I'm upgrading the kernel on villa. It should go down for a brief
perioued in a few minutes.
To see which services might become unavailable, if any, please consult
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.