Merge pull request #6630
commit195942d58e664684be0b7bd7687106e53d6be879
authorWladimir J. van der Laan <laanwj@gmail.com>
Thu, 3 Sep 2015 19:43:12 +0000 (3 21:43 +0200)
committerWladimir J. van der Laan <laanwj@gmail.com>
Thu, 3 Sep 2015 19:46:08 +0000 (3 21:46 +0200)
tree4ca1ddb5cb93dbddd93e040d313a7e5e11fe5af8
parent69dc5b51a023a23ae66017f05fa43a0203f3c627
parent86270c816411680c33a60adfa768c7a647fce08f
Merge pull request #6630

86270c8 Replace boost::reverse_lock with our own. (Casey Rodarmor)