tree 986811e1873f675ff65d70f4c693b669af96d84e
parent aaad12110cb4f3c9b0ee5e3d39487dc13793c800
parent 2758318d7d868bfdf04312b92f244c1f93fbff14
author Andreas Gampe <agampe@google.com> 1444852300 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1444852300 +0000

Merge "ART: More lenient lock merging in the verifier"