Merge branch 'master' of ssh://git.postgresql.org/pgpool2
authorBo Peng <pengbo@sraoss.co.jp>
Mon, 12 Feb 2018 14:43:07 +0000 (23:43 +0900)
committerBo Peng <pengbo@sraoss.co.jp>
Mon, 12 Feb 2018 14:43:07 +0000 (23:43 +0900)
commit3c13134733186d097bd7f70e819272abe2c97ca2
treeef1081d4706fe6f2071d0dad3764c70f8136a6a8
parentf0418bdb2557e8cb990178273286bc23c1b8d5a2
parent3d75e422681ef41bc6140538bbd508c178a23690
Merge branch 'master' of ssh://git.postgresql.org/pgpool2
src/watchdog/watchdog.c