Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <[email protected]>
Thu, 7 Jan 2016 07:43:43 +0000 (16:43 +0900)
committerNozomi Anzai <[email protected]>
Thu, 7 Jan 2016 07:43:43 +0000 (16:43 +0900)

Trivial merge