Skip to content

Remove references to StaticMutex which got removed a while ago#53107

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:static-mutex
Aug 7, 2018

Commits

Commits on Aug 6, 2018