2023年8月31日(木) 6:56 Nathan Bossart <nathandboss...@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 > > <nathandboss...@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
