| commit | e91c76b2104792d839b2bd3036e7e265427dcdc1 | [log] [tgz] |
|---|---|---|
| author | Tom Cherry <tomcherry@google.com> | Wed Nov 13 18:41:17 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Nov 13 18:41:17 2019 +0000 |
| tree | 7546543649d690302d1ea17cc17d8625983320d8 | |
| parent | 02359c6d964716c68aad03032aaf0481d42c74bc [diff] | |
| parent | b5f2ec06f5cc7953e409c40165998e111d3fa164 [diff] |
Merge "init: check property type in host_init_verifier"