On Wed, Jul 15, 2020 at 11:51 AM Andres Freund <and...@anarazel.de> wrote: > Indeed looks like a typo. Robert, do you concur?
Yes, that's definitely unintentional. Oops. -- Robert Haas EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company
