total: 0 errors, 0 warnings, 0 checks, 47 lines checked

Commit 80830f6ad086 ("net/mana: Fix auxiliary device double-delete race") has no obvious style problems and is ready for submission.

NOTE: Ignored message types: ALLOC_SIZEOF_STRUCT BAD_REPORTED_BY_LINK CAMELCASE COMMIT_LOG_LONG_LINE FILE_PATH_CHANGES GIT_COMMIT_ID MACRO_ARG_REUSE NO_AUTHOR_SIGN_OFF
total: 0 errors, 0 warnings, 0 checks, 47 lines checked