On Tue, Jul 05, 2022 at 11:29:03PM -0400, Tom Lane wrote: > Yeah. I think that 08385ed26 fixes this, but we've had no new > reports yet :-(
Indeed. Things are right now. Thanks! -- Michael
signature.asc
Description: PGP signature
On Tue, Jul 05, 2022 at 11:29:03PM -0400, Tom Lane wrote: > Yeah. I think that 08385ed26 fixes this, but we've had no new > reports yet :-(
Indeed. Things are right now. Thanks! -- Michael
signature.asc
Description: PGP signature