make-github-pseudonymous-again opened this issue 6 years ago · 0 comments
See https://blog.burntsushi.net/ripgrep/#literal-optimizations.