commit | 54503b91200b0c645358ae428f397c7db358e86a | [log] [tgz] |
---|---|---|
author | Andreas Gampe <agampe@google.com> | Tue Aug 25 16:34:32 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Aug 25 16:34:32 2015 +0000 |
tree | 4aeac6e72a27337799e12841beb9d2d9f213ca14 | |
parent | 77204c018e27ad70a226daadebf75e9144b1b275 [diff] | |
parent | ad238ce884468234509a9367c0ce1055bd1394bf [diff] |
Merge "ART: Add option to retain lock levels in verifier"