commit | c4117afdc9144e925bfb663d25c15a16b0700842 | [log] [tgz] |
---|---|---|
author | Tom Cherry <tomcherry@google.com> | Thu Jun 27 21:09:07 2019 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Thu Jun 27 21:09:07 2019 +0000 |
tree | 2fca8561956d50ec13634a76da4e0773ec3f57e5 | |
parent | 99ae1d943bc5a461b27d9a5fdd90947ced4212a8 [diff] | |
parent | 3f1bce870bf682b704ca30d3a62ff75b1496c31b [diff] |
Merge "init: switch host_init_verifier to getopt()"