diff options
| author | Tom Cherry <tomcherry@google.com> | 2019-10-14 13:48:52 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2019-10-14 13:48:52 +0000 |
| commit | abfde72e5ecdb7e595d96a47453beafe071a9683 (patch) | |
| tree | bf6bc5cb35de8f88f0cec5ba71716187ef271b0c /code_coverage/empty_policy | |
| parent | ac9c8dc1e5caa59e16b7f95e592c332c8810bea1 (diff) | |
| parent | 800fccebbe570ab6e38d98bdc204efb408bfec65 (diff) | |
Merge "init: trigger shutdown directly from builtins"
Diffstat (limited to 'code_coverage/empty_policy')
0 files changed, 0 insertions, 0 deletions