I've changed DNS to point developer.pgadmin.org at the new replacement
machine (procyon.pgadmin.org). Currently only Magnus, Guillaume and I
have accounts - if anyone else still needs access, let me know and
I'll create a replacement account.
In the meantime - watch out for SSH host key warnings :-)
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company