mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-05-16 08:24:41 +02:00
f51b762c6d
It wasn't updated after the 12.0.1 release, even though the SHA values were. PR #1545