End of gnome.org outage

[Owen Taylor <otaylor redhat com>]

The previously announced outage for the gnome.org servers for 
Dec 12 and Dec 13 is now complete.

At this point, we believe that the GNOME servers are fully functional
again. The Red Hat IT staff should get credit here for getting the
servers efficiently moved and back online.

If you find problems, please mention on them on the #sysadmin channel of
irc.gnome.org, or file a bug against the sysadmin product in
bugzilla.gnome.org.

- Owen