[pgpool-committers: 6695] pgpool: Remove duplicate global data.

[Tatsuo Ishii]

Remove duplicate global data.

This causes a link error on some system (Fedra 32).

Discussion: https://www.pgpool.net/pipermail/pgpool-hackers/2020-April/003593.html

Branch
------
V3_7_STABLE

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

Modified Files
--------------
src/main/health_check.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)