tree 86abd4fd1fe222af1c555f9b1f25eac58b1e1b73
parent bc444ffaaa51fe3be38d4037929d7755a6ffb6c7
parent f28586390b055a5681e50617d729a3fa09792d9c
author Treehugger Robot <treehugger-gerrit@google.com> 1522777810 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1522777810 +0000

Merge "Revert^6 "Ensure that OSR still is possible with jvmti""