On Fri, Mar 22, 2024 at 11:58 AM Maxim Orlov <orlo...@gmail.com> wrote: > I've noticed this patch and had a quick look at it. As far as I understand, > this bug > does not lead to an incorrect matching, resulting only in degradation in > speed. > Anyway, consider this patch useful, hope it will be committed soon.
Pushed. Thanks to Maxim and Pavel. ------ Regards, Alexander Korotkov
