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


Reply via email to