Merge branch 'master' of ssh://git.postgresql.org/pgpooladmin
authorNozomi Anzai <anzai@sraoss.co.jp>
Mon, 21 Apr 2014 07:58:11 +0000 (16:58 +0900)
committerNozomi Anzai <anzai@sraoss.co.jp>
Mon, 21 Apr 2014 07:58:11 +0000 (16:58 +0900)

Trivial merge