OSDN Git Service

Merge "ART: Rearrange some JVMTI headers"
authorTreehugger Robot <treehugger-gerrit@google.com>
Tue, 13 Sep 2016 17:59:55 +0000 (17:59 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Tue, 13 Sep 2016 17:59:56 +0000 (17:59 +0000)

Trivial merge