@bors bors Auto merge of #53108 - RalfJung:mutex, r=alexcrichton fbb6275 Aug 9, 2018
9 contributors

Users who have contributed to this file

@alexcrichton @flaper87 @RalfJung @nrc @mneumann @nagisa @eddyb @bors @Amanieu