On Fri, Nov 4, 2022 at 5:42 AM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
>
> The CI is able to complete without it. Would you mind if it is
> removed? If you don't want us to poke more at the bear, that's a nit
> so leaving things as they are is also fine by me.
I've removed it.
--
John Naylor
EDB: http://www.enterprisedb.com