On Fri, Nov 4, 2022 at 5:42 AM Michael Paquier <mich...@paquier.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