commit | 80fd43eead361bd3b61d646e5c8efcdd0720304d | [log] [tgz] |
---|---|---|
author | Aart Bik <ajcbik@google.com> | Tue May 24 17:54:11 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue May 24 17:54:11 2016 +0000 |
tree | 44433e54f130ee17dcd18f0ecfca934fa6584b1d | |
parent | da97c4eee83d89c577ecc2ba98b2e45a2191b1f4 [diff] | |
parent | c2bc26513ea7c5e2dd9f3b102fb23fd207e4ce63 [diff] |
Merge "Fix bug in verifier: soft fail was hiding hard fail."