Merge pull request #14181 from ViktorHofer/MutexCodeCleanup
authorViktor Hofer <viktor.hofer@microsoft.com>
Mon, 2 Oct 2017 19:54:19 +0000 (21:54 +0200)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2017 19:54:19 +0000 (21:54 +0200)
commit97e0093e0941e7d5650d3f705bae17f1041c839f
tree86fb0944c38994aa7e7edefc59fe808a01bb0f31
parent0e8bc684c6e15591708d49a773183fb6cd9eda34
parent6626baf81d9eb4fe27225c1593a457f8ec1745b4
Merge pull request #14181 from ViktorHofer/MutexCodeCleanup

Mutex code cleanup and removal of unused types