tree b545e7d513eca5c009043b8aa22e60d446a2a1b5
parent 9976b4e783311f19496ce0c70e2f99194187f90c
parent 1580ab274b5241d879a86f349722fef5b0be1c56
author Treehugger Robot <treehugger-gerrit@google.com> 1536246703 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1536246703 +0000

Merge "ART: Fix tidy warnings in veridex"