check-pr: fix typo (#12038)

2024-01-08 20:38:24 +01:00
parent b8252418d8
commit 54f284164d
1 changed files with 1 additions and 0 deletions
--- a/scripts/check-pr.sh
+++ b/scripts/check-pr.sh
@@ -146,6 +146,7 @@ function check_diff {
        check_duplicates "$file1"
        check_missing_english_page "$file1"
        check_outdated_page "$file1"
+        ;;
      M) # file1 was modified
        check_missing_english_page "$file1"
        check_outdated_page "$file1"