On 9/7/20 11:18 PM, Shlomi Fish wrote:

Thanks, Paul! I can confirm that the latest git master version of gnu grep
(which incorporates the patches) is faster than 3.4.

Thanks for checking; closing the bug report.




Reply via email to