chore: fix PR number in comment

keymanapp · Nov 6, 2024 · 1c39a0e · 1c39a0e
1 parent 0df0287
commit 1c39a0e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/developer/src/kmcmplib/tests/get-test-source.sh b/developer/src/kmcmplib/tests/get-test-source.sh
@@ -11,6 +11,6 @@ find "$1" -name '*.kmn' | \
   grep -E '(release|experimental)/([a-z0-9_]+)/([a-z0-9_]+)/source/\3\.kmn$' | \
   grep -vE 'masaram_gondi|anii|sil_kmhmu|fv_statimcets|fv_nuucaanul'
 # #12623: exclude masaram_gondi due to #11806
-# #12630: exclude anii, sil_kmhmu as ico references have mismatching case
-# #12630: exclude fv_statimcets, fv_nuucaanul as these include U+2002 which is not
+# #12631: exclude anii, sil_kmhmu as ico references have mismatching case
+# #12631: exclude fv_statimcets, fv_nuucaanul as these include U+2002 which is not
 #         treated as whitespace on mac arch