On Wed, 4 Oct 2023 at 21:08, Orlov Aleksej <[email protected]> wrote: > I've finished testing the patch. > I confirm that the patch solves the problem and works just as fast.
Thanks for checking that. I've pushed the patch now. David
On Wed, 4 Oct 2023 at 21:08, Orlov Aleksej <[email protected]> wrote: > I've finished testing the patch. > I confirm that the patch solves the problem and works just as fast.
Thanks for checking that. I've pushed the patch now. David