Closed avilleret closed 8 years ago
@avilleret @jcelerier : Can one of you merge master into this branch first so that I can then handle the pull request? When I merge master into feature/stdmutex there are conflicts and I'm not 100% sure how some of them should be resolved. Thanks!
duplicate #360