tree 11dfed514bb83d9cef4f7bd8268bae85a89b1404
parent 99b1c14fc9f517f4882a596958ad2a0977d92daa
author Sebastien Hertz <shertz@google.com> 1375713471 +0200
committer Sebastien Hertz <shertz@google.com> 1375713471 +0200

Fix typo in mutex.h file.

Change-Id: I11db56161025285022ea1137fb7749751d14b347