On Tue, Oct 7, 2025 at 1:19 PM Robert Haas <robertmhaas@gmail.com> wrote:
> On Mon, Sep 29, 2025 at 9:28 AM Robert Haas <robertmhaas@gmail.com> wrote:
> > Oh, nice, thanks! I'm going to be on vacation the rest of this week so
> > I plan to deal with this next week. However, if you feel like
> > committing it before then, please feel free.
>
> I committed 0001 and 0002. That left three remaining patches. I merged
> your (Tom's) comment changes into the first of those, and here's the
> result of that.
And committed. Thanks to all, and especially to Tom, for the reviews.
--
Robert Haas
EDB: http://www.enterprisedb.com
