Merge branch 'V3_1_STABLE' of ssh://git.postgresql.org/pgpool2 into V3_1_STABLE
authorYugo Nagata <nagata@sraoss.co.jp>
Tue, 2 Jul 2013 03:04:02 +0000 (12:04 +0900)
committerYugo Nagata <nagata@sraoss.co.jp>
Tue, 2 Jul 2013 03:04:02 +0000 (12:04 +0900)

Trivial merge