tree 6c1f05e652815a20d1792f7654c1792acdba7721
parent c76f9b723997cdf796c937637473731da63e34b7
parent 5ffefaa41de9b9e711f6e8bc7ed9ff9e9d844fe7
author Calin Juravle <calin@google.com> 1548981111 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1548981111 +0000

Merge "Ensure the correctness of fast verify"