On Fri, May 17, 2019 at 4:55 PM Andres Freund <and...@anarazel.de> wrote: > Robert, this indeed looks near trivial. What do you think?
Hmm, yeah, I guess that'd be OK. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company