On Wed, Feb 22, 2023 at 09:24:37AM +0100, Peter Eisentraut wrote:
> Yeah, this is just in the long tail of things to work through.
I am going through that, and found out what can be done to do coverage
reports. I will post a patch separately on -hackers.
--
Michael