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
signature.asc
Description: PGP signature
