patch 8.2.3643: header for source file is outdated

Problem: Header for source file is outdated. Solution: Make the header more accurate. (closes #9186)
2025-12-20 14:15:18 +00:00 · 2021-11-22 12:47:39 +00:00
parent 73448a27a8
commit a3f83feb63
3 changed files with 9 additions and 11 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -757,6 +757,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    3643,
 /**/
    3642,
 /**/