On Thu, Jul 16, 2020 at 8:44 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>
> On Wed, Jul 15, 2020 at 11:51 AM Andres Freund <andres(at)anarazel(dot)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