[pgadmin-hackers] CVS server

[Adam H. Pendleton]

Is the CVS server down?

ahp

---------------------------(end of broadcast)---------------------------
TIP 9: most folks find a random_page_cost between 1 or 2 is ideal