Developer.pgadmin.org, cvs.pgadmin.org downtime

["Dave Page" <dpage(at)vale-housing(dot)co(dot)uk>]

In order to replace a UPS and reshuffle equipment in one of our racks,
the VMs listed above will be shutdown later today for a short while
somewhen between 4PM and 6PM BST.

Apologies for any inconvenience...

Regards, Dave.