patch 9.0.0128: Coverity complains about possible double free

Problem: Coverity complains about possible double free. Solution: Clear the pointer to avoid warnings.
2022-08-01 12:06:40 +01:00
parent e95f22f63a
commit 3f79b61288
2 changed files with 6 additions and 7 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -735,6 +735,8 @@ static char *(features[]) =

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