Please reboot Red Hat servers (all it seems)

[Olav Vitters <olav vitters nl>]

Seems our monitoring solution @ signal is broken as it didn't notify me
of all the down servers. Would've seen that they were down more quickly.

Could someone set this up again? I gave someone access to signal
recently. Ask if more need access (and please add all missing when you
get it :)

Further, better to put the phone numbers on sysadmin.gnome.org/contact +
wiki pages in your Skype or phone ;)  took me a while to find owens
number again

-- 
Regards,
Olav