From 54f284164d56d9cc54474c1a43e6b2ad109d4c07 Mon Sep 17 00:00:00 2001
From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Date: Mon, 8 Jan 2024 20:38:24 +0100
Subject: [PATCH] check-pr: fix typo (#12038)

---
 scripts/check-pr.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh
index 78d8d2a21..3b8a6fe0d 100755
--- 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"