Move mutex_atomic
to restriction
#10115
Merged
bors merged 2 commits intorust-lang:masterfrom Dec 30, 2022
Commits
Commits on Dec 25, 2022
- committedRay Redondo
Commits on Dec 29, 2022
- committedRay Redondo
mutex_atomic
to restriction
#10115