mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-29 22:01:04 +02:00
f51b762c6d
It wasn't updated after the 12.0.1 release, even though the SHA values were. PR #1545