On Wed, May 21, 2025 at 03:43:01PM -0400, Robert Haas wrote: > Since this was Andres's commit, I think it would have been a good idea > to give at least 24 hours, or better yet a couple of days, for him to > comment before committing something.
Thanks for the poke, sorry about that. I'll be more careful with my timings. -- Michael
signature.asc
Description: PGP signature
