Hi,
While checking the PQping code I noticed that pg_ctl does not rely on PQpingsince commit f13ea95f9e4 (v10) so the attached patch removes a comment frominternal_ping().
--Euler TaveiraEDB https://www.enterprisedb.com/