[pgadmin-hackers] developer.pgadmin.org down

[Jean-Michel POURE]

Dear all,

developer.pgadmin.org seems to be down.

Cheers, Jean-Michel

---------------------------(end of broadcast)---------------------------
TIP 7: don't forget to increase your free space map settings