mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-06-12 15:37:07 +02:00
f51b762c6d
It wasn't updated after the 12.0.1 release, even though the SHA values were. PR #1545