tree 613ca39524b78877264c80741344b700dccbd9f1
parent b751e3b1c07837ac6193497f4c5d13f19d780837
parent 909b1277e450c1eebfe2db40f5a4a72652d32950
author Nicolas Geoffray <ngeoffray@google.com> 1524575802 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1524575802 +0000

Merge "[veridex] New veridex improvements."