tree 5f6939a3b860b63dfe36facb6370d48d41a8b0f6
parent fd2af051863c4b8b552db9bea8034d9c6bdee219
parent 0ad08c4c93cfc5207cdff2082f537e139612ee58
author Tom Cherry <tomcherry@google.com> 1573675483 -0800
committer android-build-merger <android-build-merger@google.com> 1573675483 -0800

Merge "Check property type in host_init_verifier" am: 3c697d59fb am: c0a7f38dbc
am: 0ad08c4c93

Change-Id: If22ac9dd86b68d7c612d2bd1b3565a8cd2f538d8