On Fri, Apr 14, 2023 at 04:11:47PM -0400, Robert Haas wrote: > Do people think it's OK to do that now, or should I wait until we've > branched? I personally think this is bug-fix-ish enough that now is > OK, but I'll certainly forebear if others disagree.
FWIW, doing that now rather than the beginning of July is OK for me for this stuff. -- Michael
signature.asc
Description: PGP signature
