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)
1  2 
src/watchdog/watchdog.c

Simple merge