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 -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
