2011/5/20 Devrim GÜNDÜZ <devrim@gunduz.org>:
> 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.
OK, well that's going to move to the new webserver, which will have a
virtual host over the master FTP directory. I'm working on that now...
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
