| commit | 12cfc600d21ebf97373be59f1bd538b68687b5bf | [log] [tgz] |
|---|---|---|
| author | Vladimir Marko <vmarko@google.com> | Wed Jul 15 17:06:39 2015 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Jul 15 17:06:41 2015 +0000 |
| tree | 64580dd133ac8243b923caa3da4080221f99a62e | |
| parent | 5c03f3698f5e2e0d762e2e15ec00310b6cdab4fe [diff] | |
| parent | 747e536860bdb0099f60fe52ed94e6cf7c79b312 [diff] |
Merge "Clean up after verifier changes wrt. conflict/undefined reg."