Dear Paul, Thank you for committing it. Sorry again for the messy subjects in the first two versions. I'm glad the patch is now in.
Kind regards, Samir On Thu, 7 May 2026 at 09:13, Paul Richard Thomas < [email protected]> wrote: > After checking and regtesting, pushed as r17-375. > > Many thanks for the patch, Samir. May you do many more of them! > > Paul > -- Samir OUCHENE https://github.com/s1291
