false positive for patch-file-present-but-not-mentioned-in-series tag