diff options
| author | Marco Elver <elver@google.com> | 2021-08-27 19:05:42 +0200 |
|---|---|---|
| committer | Marco Elver <me@marcoelver.com> | 2021-08-27 19:49:40 +0200 |
| commit | d5a29e53050521d8733a9f78b474b65755f6fd21 (patch) | |
| tree | d2e48ddc6d78cf979f92dcebfebd6b554c0b7a5d /executor/android | |
| parent | 57b01c6eb417025632115f546e92474d64776fba (diff) | |
pkg/report: ignore "WARNING: The mand mount option has been deprecated"
In Linux 5.15 the mand mount option will be deprecated, and the warning
text will change accordingly:
https://lkml.kernel.org/r/20210820163919.435135-3-jlayton@kernel.org/
Update regex to also ignore this case.
Diffstat (limited to 'executor/android')
0 files changed, 0 insertions, 0 deletions