Merge branch 'master' of ssh://git.postgresql.org/pgpool2
authorYugo Nagata <nagata@sraoss.co.jp>
Mon, 17 Jun 2013 00:05:11 +0000 (09:05 +0900)
committerYugo Nagata <nagata@sraoss.co.jp>
Mon, 17 Jun 2013 00:05:11 +0000 (09:05 +0900)

Trivial merge