On Thu, Jul 16, 2020 at 8:44 PM Robert Haas <[email protected]> wrote: > > On Wed, Jul 15, 2020 at 11:51 AM Andres Freund <[email protected]> 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
