diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-08-30 14:16:27 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-08-30 14:16:27 +0200 |
| commit | 1d0002255d805442ff43c5c4265950179aac77c9 (patch) | |
| tree | b3f3cfa1bcf320c7d5f3579dd63c8b2307120cad /docs/linux_kernel_reporting_bugs.md | |
| parent | be2917712f81bee029b9d73f3a7982134f22cb15 (diff) | |
pkg/report: don't confuse "DEBUG:" with "BUG:"
Android sometimes prints "Boot_DEBUG:" during boot,
which we confuse with "BUG:".
Diffstat (limited to 'docs/linux_kernel_reporting_bugs.md')
0 files changed, 0 insertions, 0 deletions