On Sun, Jul 03, 2022 at 09:40:23PM -0400, Tom Lane wrote: > Yeah, I just came to the same conclusion and pushed an equivalent > patch. Sorry for the duplicated effort.
No problem. Thanks for the quick fix. -- Michael
signature.asc
Description: PGP signature
