On Mon, Feb 24, 2020 at 5:32 PM Robert Haas <robertmh...@gmail.com> wrote: > I've committed 0001 through 0003 as revised by Mark in accordance with > the comments from Suraj. Here's the last patch again with a tweak to > try not to break the Windows build, per some off-list advice I > received on how not to break the Windows build. Barring complaints > from the buildfarm or otherwise, I'll commit this one too.
Done. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company