Hi Guillaume, I think it's probably time to update pgadmin3-release.pot. Any reason not to that you can think of?
-- Dave Page EnterpriseDB UK: http://www.enterprisedb.com -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
