tree 13bc06446b57ee348d4d893063bcde99ddc3288b
parent 91ac272c11775630735dde3190de9f2da8f3f3eb
parent 8d8fc48664205e433cfa5540753b38043d918873
author Andreas Gampe <agampe@google.com> 1458950000 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1458950000 +0000

Merge "ART: Relax verifier checks"