On Fri, 2011-05-20 at 20:06 +0000, Dave Page wrote:
>
> We're going to be replacing developer.pgadmin.org. Of those of you
> with accounts on the current box, can you please let me know how often
> you use it, and what you use it for?
I used to upload RPMs, but I don't do it anymore.
Regards,
--
Devrim GÜNDÜZ
Principal Systems Engineer @ EnterpriseDB: http://www.enterprisedb.com
PostgreSQL Danışmanı/Consultant, Red Hat Certified Engineer
Community: devrim~PostgreSQL.org, devrim.gunduz~linux.org.tr
http://www.gunduz.org Twitter: http://twitter.com/devrimgunduz