mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-01-19 05:49:14 +02:00
f19b84fb23
See *661bf53d5b
*edf45e6f5f
for details on the bug fix, which was in the regex engine. Fixes #1203