On Sat, Aug 20, 2011 at 8:24 AM, Guillaume Lelarge
<guillaume@lelarge.info> wrote:
> On Sat, 2011-08-20 at 03:22 +0200, Erwin Brandstetter wrote:
>> Aloha!
>>
>> Here is a dead link
>> http://pgadmin.org/docs/
>> to
>> http://pgadmin.org/docs/1.14/index.html
>>
>> Tested 2011-08-20 01:00 UTC
>>
>
> It took me some time to understand, as I was going to
> http://www.pgadmin.org, and it worked well there. So,
> http://www.pgadmin.org/docs/ works but http://pgadmin.org/docs/ doesn't.
> Sorry, but I can't fix this, you'll have to wait for Dave.
Looks like the DNS was still pointing to the old webserver. I've
updated it, but it might take a little while for changes to propagate.
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company