[pgpool-committers: 6696] 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
------
V4_0_STABLE

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

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