diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-01-17 12:27:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-01-17 15:44:44 +0100 |
| commit | de4e4f4d8b582f2aee34fe7659b0bcb54ff28498 (patch) | |
| tree | 2826da145cbb998ed43870d0ba133157846c47b2 /executor/common_linux.h | |
| parent | 7cd0bd1c148d0ef29b48bc45f7bb4512f127fe9e (diff) | |
pkg/report: add alt title for "kernel BUG" oops
Update #1575
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions