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)
Mutex code cleanup and removal of unused types


Trivial merge