diff options
| author | Nikita Ioffe <ioffe@google.com> | 2020-04-13 19:14:56 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-04-13 19:14:56 +0000 |
| commit | 1c146547320e52026627bf372d7029bef5319d04 (patch) | |
| tree | a099e067a129e4a118f5b6580ea8c6a4a5b24646 /trusty/coverage/coverage.cpp | |
| parent | ffe39ea541a67197da297c23c10861ed0d7b57e4 (diff) | |
| parent | d05535485f7a818cda3bfa4b61bfd071be56b36f (diff) | |
Merge "Fallback to hard reboot if userspace reboot hasn't started in time"
Diffstat (limited to 'trusty/coverage/coverage.cpp')
0 files changed, 0 insertions, 0 deletions