On Thu, Jun 29, 2023 at 09:05:59AM -0700, Jacob Champion wrote: > Sounds good -- 0002 can be ignored as needed, then. (Or I can resend a > v3 for CI purposes, if you'd like.)
I am assuming that this is 0001 posted here: https://www.postgresql.org/message-id/[email protected] And that looks OK to me. This is something I'd rather backpatch down to v11 on usability ground for developers. Any comments or objections about that? -- Michael
signature.asc
Description: PGP signature
