On Thu, Jul 16, 2020 at 8:44 PM Robert Haas <robertmh...@gmail.com> wrote: > > 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. >
Pushed the fix. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com
