mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2025-08-10 09:01:59 -07:00
These all seem pretty straight-forward. Compared with #2706, I dropped the changes to the atomic orderings used in `ignore` because I haven't had time to think through that carefully. But the ops in this PR seem fine. Closes #2706