Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <[email protected]>
Mon, 21 Apr 2014 07:58:11 +0000 (16:58 +0900)
committerNozomi Anzai <[email protected]>
Mon, 21 Apr 2014 07:58:11 +0000 (16:58 +0900)

Trivial merge