Merge branch 'master' of ssh://git.postgresql.org/pgpool2
authorBambo Huang <bambo.huang@gmail.com>
Fri, 14 Jun 2013 08:38:33 +0000 (16:38 +0800)
committerBambo Huang <bambo.huang@gmail.com>
Fri, 14 Jun 2013 08:38:33 +0000 (16:38 +0800)

Trivial merge