Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <anzai@sraoss.co.jp>
Tue, 2 Feb 2016 01:54:30 +0000 (10:54 +0900)
committerNozomi Anzai <anzai@sraoss.co.jp>
Tue, 2 Feb 2016 01:54:30 +0000 (10:54 +0900)

Trivial merge