On Thu, Aug 31, 2023 at 4:38 AM Nathan Bossart <nathandboss...@gmail.com> wrote: > > 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.
Sorry, I didn't notice this thread earlier. The new behavior looks better to me, thanks for working on it. -- Regards, Dilip Kumar EnterpriseDB: http://www.enterprisedb.com
