Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <[email protected]>
Fri, 6 Feb 2015 09:41:42 +0000 (18:41 +0900)
committerNozomi Anzai <[email protected]>
Fri, 6 Feb 2015 09:41:42 +0000 (18:41 +0900)

Trivial merge