On Wed, Jul 1, 2009 at 1:47 PM, Guillaume Lelarge<guillaume@lelarge.info> wrote:
> Hi Dave,
>
> Le mercredi 1 juillet 2009 à 14:05:04, Dave Page a écrit :
>> [...]
>> I think it's probably time to update pgadmin3-release.pot. Any reason
>> not to that you can think of?
>
> Actually, it's already done... on my laptop. Don't know why I didn't push it
> on the server. I probably forgot to do it. Thanks for the reminder.
:-)
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com