OSDN Git Service

am 9bec5443: Merge "Fix the problem of not shutting down the profiler in ART properly"
authorIan Rogers <irogers@google.com>
Tue, 27 May 2014 23:04:08 +0000 (23:04 +0000)
committerAndroid Git Automerger <android-git-automerger@android.com>
Tue, 27 May 2014 23:04:08 +0000 (23:04 +0000)
* commit '9bec54430e8609765740fdc51d24ed3f3c907919':
  Fix the problem of not shutting down the profiler in ART properly


Trivial merge