tree 38f830178fe054a7fc6daec7986c0d72d27064a1
parent ce2d6b31709511d94dd0d6f32a60cb558252db65
parent 7793404935f70bc6dfffba316f5e5588f38979b5
author Treehugger Robot <treehugger-gerrit@google.com> 1544482463 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1544482463 +0000

Merge "veridex: fix a sketchy switch scope"