tree 6e3bf0f9933ed4968ebc80085d86f73f14ead4fc
parent 64c17bc60b991e37b2b8a8255002ff608e78ca25
parent 8f4ade0f05c0203b33e5f421d1e3794ab6075a82
author Andreas Gampe <agampe@google.com> 1460770349 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1460770349 +0000

Merge "ART: Fix nits for verifier change"