Merge pull request #5030 from kouvel/NamedMutex
authorKoundinya Veluri <kouvel@users.noreply.github.com>
Fri, 20 May 2016 04:57:09 +0000 (21:57 -0700)
committerKoundinya Veluri <kouvel@users.noreply.github.com>
Fri, 20 May 2016 04:57:09 +0000 (21:57 -0700)
Add named mutex for cross-process synchronization


Trivial merge