| commit | 5966c15924adae7dcc69b6c610164129ceba62b9 | [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 | 06775c4aac68c8f6b9d9b2f035552db26042e36c [diff] | |
| parent | 2659ac858b8a9415e591054763d9719bcdade44c [diff] |
Merge "init: check property type in host_init_verifier"