[pgpool-committers: 6698] 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
------
master

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

Modified Files
--------------
src/main/health_check.c | 1 -
1 file changed, 1 deletion(-)