mirror of
https://github.com/google/comprehensive-rust.git
synced 2025-06-10 19:37:31 +02:00
Mutex is probably more broadly understood by people coming from other languages. Fixes #1512.
Mutex is probably more broadly understood by people coming from other languages. Fixes #1512.