Merge branch 'master' of ssh://git.postgresql.org/pgpool2
authorTatsuo Ishii <ishii@postgresql.org>
Tue, 18 Jun 2013 06:11:56 +0000 (15:11 +0900)
committerTatsuo Ishii <ishii@postgresql.org>
Tue, 18 Jun 2013 06:11:56 +0000 (15:11 +0900)

Trivial merge