New minor release?

Hi,

We'll soon have new minors releases of PostgreSQL. I was wondering if
we'll have a new minor pgAdmin release. Would be the right time if you
ask me :) Our current changelog since 1.12.1 is quite big:

$ git shortlog REL-1_12_1..REL-1_12_0_PATCHES

Conrad Akier (1):
Fix typo in --no-privileges option of frmRestore

Dave Page (3):
Fix a memory leak in the edit grid that can occur if the user
aborts a refresh of the data.
Allow non-existant log file names to be specified.
Fix date picker on GTK. Seems like an old workaround for a bug is
no longer required.

Guillaume Lelarge (17):
Fix CREATE INDEX/CONSTRAINT syntax
Fix the double line number in the function props
Fix for index size in the index list
Fix two deletes of the same object in a query tool
Fix the setting of "Can update catalog" checkbox
Force the query font on the results grid
Fix a lot of issues with length and precision
Update the CHANGELOG file
Select old values when connecting to another server
Fix frmOptions vertical size
Carme's new email address.
Fix the comment on inherited column
Fix an issue with naming objects for backup
Force typing the constraint name or the index name
Automatic merge using stringmerge script.
Update french translation.
Update .pot file.

Nail Samatov (1):
Improve the commenting logic in the SQL text box, to allow quick
commenting of multiple lines in succession and fix some unintuitive beha

Timon (1):
Update russian translations.

So, should we have a new minor release?

--
Guillaume
http://www.postgresql.fr
http://dalibo.com