mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-05-21 16:35:49 +02:00
1c3eebefec
Looks like this was accidentally left set to 8 in commit 46fb77c.
PR #1839