On Wed, 4 Oct 2023 at 21:08, Orlov Aleksej <al(dot)orlov(at)cft(dot)ru> 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