Documented that RwLock might panic#37141
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 15, 2016
omern1:master
Merged
Documented that RwLock might panic#37141bors merged 2 commits intorust-lang:masterfrom omern1:master
bors merged 2 commits intorust-lang:masterfrom
omern1:master
Commits
Commits on Oct 13, 2016
- committed
- committed