patch 9.0.0817

2022-10-22 11:25:19 +01:00
parent 9c50eeb401
commit fb0cf2357e
10 changed files with 37 additions and 14 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,10 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    817,
+/**/
+    816,
 /**/
    815,
 /**/