Merge pull request #121597 from SuperSandro2000/ripgrep
ripgrep: cleanup
authored by Sandro and committed by GitHub 4 years ago 69652a07 2265b1e5