RE: [Proposal] Add foreign-server health checks infrastructure

Dear members,

(This mail is just a wrap-up)

I found that the final patch was pushed 2 days ago [1] and BF animals say OK for
now. Therefore, I've closed the CF entry as "committed". We can extend the
feature to other platforms, but I think it could be at another thread later.

Thanks everyone for many efforts!

[1]: https://github.com/postgres/postgres/commit/4f08ab55457751308ffd8d33e82155758cd0e304

Best regards,
Hayato Kuroda
FUJITSU LIMITED