patch 9.0.1082: some jsonc files are not recognized

Problem: Some jsonc files are not recognized. Solution: Add patterns for jsonc and move some from json to jsonc. (closes #11711)
2022-12-19 20:42:49 +00:00
parent 34820944ed
commit 104b2ff4d0
3 changed files with 13 additions and 10 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 */
+/**/
+    1082,
 /**/
    1081,
 /**/