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.
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.