On Wed, Dec 18, 2019 at 11:37 AM Robert Haas <robertmh...@gmail.com> wrote: > If nobody has further comments or objections, I plan to commit these > in early January.
Done. Which, I think, wraps up the work I felt needed to be done here. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
