2023年8月31日(木) 6:56 Nathan Bossart <nathandbossart@gmail.com>:
>
> On Wed, Aug 30, 2023 at 10:56:22AM -0400, Robert Haas wrote:
> > On Wed, Aug 30, 2023 at 10:27 AM Nathan Bossart
> > <nathandbossart@gmail.com> wrote:
> >> I'm about to spend way too much time writing the commit message for 0002,
> >> but I plan to commit both patches sometime today.
> >
> > Thanks! I'm glad your committing the patches, and I approve of you
> > spending way too much time on the commit message. :-)
>
> Committed.
Thanks for taking care of this (saw the commits, then got distracted
by something else and forgot to follow up).
Regards
Ian Barwick