patch 8.2.3205: Coverity reports a null pointer dereference

Problem: Coverity reports a null pointer dereference. Solution: Change the logic to avoid Coverity gets confused.
2021-07-23 19:30:19 +02:00
parent c9e7e344ed
commit 1b862c466b
2 changed files with 5 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -755,6 +755,8 @@ static char *(features[]) =

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