On Tue, Oct 7, 2025 at 1:19 PM Robert Haas <[email protected]> wrote: > On Mon, Sep 29, 2025 at 9:28 AM Robert Haas <[email protected]> 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
