tree b9fa351036d2085c82e1dd29638e55f33f592e87
parent 220211d650759cf0cefef005bbf2c3374e5cec46
parent 6c3ac040c2dc2b6f53f558a4a7647208e89b4234
author Treehugger Robot <treehugger-gerrit@google.com> 1559075480 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1559075480 +0000

Merge "OS: Hold the mutex when decreasing the semaphore"