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