OSDN Git Service

Merge "Fix the problem of not shutting down the profiler in ART properly"
authorIan Rogers <irogers@google.com>
Tue, 27 May 2014 23:00:36 +0000 (23:00 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 27 May 2014 23:00:37 +0000 (23:00 +0000)

Trivial merge