tree 7546543649d690302d1ea17cc17d8625983320d8
parent 02359c6d964716c68aad03032aaf0481d42c74bc
parent b5f2ec06f5cc7953e409c40165998e111d3fa164
author Tom Cherry <tomcherry@google.com> 1573670477 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1573670477 +0000

Merge "init: check property type in host_init_verifier"