diff --git a/devtools/check-git-log.sh b/devtools/check-git-log.sh index 910daba42f..c601f6ae99 100755 --- a/devtools/check-git-log.sh +++ b/devtools/check-git-log.sh @@ -124,6 +124,7 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ + -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ @@ -135,6 +136,7 @@ bad=$(echo "$headlines" | grep -E --color=always \ -e ':.*\' \ -e ':.*\' \ -e ':.*\' \ + -e ':.*\' \ -e ':.*\' \ -e ':.*\<[Vv]lan\>' \ -e ':.*\' \