OSDN Git Service

Merge "OS: Hold the mutex when decreasing the semaphore"
authorTreehugger Robot <treehugger-gerrit@google.com>
Tue, 28 May 2019 20:31:20 +0000 (20:31 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 28 May 2019 20:31:20 +0000 (20:31 +0000)
commit056e1043664e425389bafd9776a4c083c6a7820e
tree1ad844c4c80ee24c227d19ae81e022ff79e4650f
parent0f9422e9847c812974fe37e31aa9b3ff07e8537a
parent39c0d8f3efb6bf4e999601489ffb29c69c51c5ae
Merge "OS: Hold the mutex when decreasing the semaphore"