patch 9.0.1419: Lean files are not recognized

Problem: Lean files are not recognized. Solution: Add a pattern for Lean files. (Amaan Qureshi, closes #12177)
2023-03-21 19:57:33 +00:00
parent 5fedb8a5ab
commit 4a5c39fc52
3 changed files with 6 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =

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