On 1/10/22 06:53, Juan José Santamaría Flecha wrote: > > On Mon, Jan 10, 2022 at 12:51 PM Juan José Santamaría Flecha > <juanjo.santama...@gmail.com> wrote: > > Please find attached a patch for so. > > The patch. > > > >
Pushed, and backpatched. cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com
