mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-13 21:28:13 +02:00
8ba6ccd159
This fixes fallout from fixing #1520.
This fixes fallout from fixing #1520.