OSDN Git Service

Merge "Correct monitor pool synchronization" into nyc-dev
authorHans Boehm <hboehm@google.com>
Sat, 30 Apr 2016 00:44:50 +0000 (00:44 +0000)
committerandroid-build-merger <android-build-merger@google.com>
Sat, 30 Apr 2016 00:44:50 +0000 (00:44 +0000)
am: da19488a46

* commit 'da19488a46bf9d0828ce88c504f7fbddddf805ed':
  Correct monitor pool synchronization

Change-Id: Id280a8daefb6f05c440d0a5c31a6c12cc5a64be1


Trivial merge