On Thu, Jul 30, 2020 at 8:11 AM Robert Haas <robertmh...@gmail.com> wrote: > Unless somebody complains pretty soon, I'm going to go ahead and do > what is described above.
Done. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company