[pgpool-committers: 6694] 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=f9c15f14dd0f7c50f61e1616cb016b5119afcb5a

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