Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <anzai@sraoss.co.jp>
Mon, 7 Mar 2016 06:03:51 +0000 (15:03 +0900)
committerNozomi Anzai <anzai@sraoss.co.jp>
Mon, 7 Mar 2016 06:03:51 +0000 (15:03 +0900)

Trivial merge