mirror of
https://github.com/BurntSushi/ripgrep.git
synced 2026-05-21 16:35:49 +02:00
7899a4b931
CachedThreadLocal has been deprecated. We bump thread_local's minimal version corresponding to that deprecation as well.