Hello. Dmitry.
"Dmitry" == Dmitry Gutov <dgutov@yandex.ru> writes:
Dmitry> [1 <text/plain; utf-8 (7bit)>] On 20.06.2020 07:09, andres.ramirez
wrote: Anybody?
>>
>> Before the patch: --8<---------------cut
here---------------start------------->8--- Elapsed
>> time: 6.010101s Elapsed time: 5.863914s --8<---------------cut
>> here---------------end--------------->8---
>>
>> After installing ripgrep and patch: --8<---------------cut
>> here---------------start------------->8--- Elapsed time: 3.261737s
Elapsed time: 1.742008s
>> --8<---------------cut here---------------end--------------->8---
Dmitry> Thanks, Andres. Looks promising.
Dmitry> Here's the latest version of the patch,
[...]
--8<---------------cut here---------------start------------->8---
Elapsed time: 3.017855s
Elapsed time: 1.403502s
--8<---------------cut here---------------end--------------->8---