tree dda6e4020b74e36ca17fee01e89994dd7235fde1
parent 269a39982997365ac4e8d2ee3d919e84f3e568d7
parent 0733dc87518d2c8fc1ba2196c9f5cc9729de7c20
author Treehugger Robot <treehugger-gerrit@google.com> 1500341892 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1500341892 +0000

Merge "Avoid creating verification_results_ unnecessarily"