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.santamaria@gmail.com> wrote:
>
> Please find attached a patch for so.
>
> The patch.
>
>
>
>
Pushed, and backpatched.
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com