[pgpool-committers: 7538] pgpool: Merge branch 'V3_7_STABLE' of ssh://git.postgresql.org/pgpool2

[Tatsuo Ishii]

Merge branch 'V3_7_STABLE' of ssh://git.postgresql.org/pgpool2 into V3_7_STABLE

Branch
------
V3_7_STABLE

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=96c66d3bc2dbdd8906af85aa7df567a72d8cc4d6

Modified Files
--------------