Merge branch 'master' of ssh://git.postgresql.org/pgpool2 Branch ------ master Details ------- https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=3c13134733186d097bd7f70e819272abe2c97ca2 Modified Files --------------