patch 8.1.1707: Coverity warns for possibly using a NULL pointer

Problem: Coverity warns for possibly using a NULL pointer. Solution: Change the logic to make sure no NULL pointer is used.
2019-07-17 21:27:52 +02:00
parent 99a764bccd
commit cfdbc5adde
3 changed files with 9 additions and 4 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -777,6 +777,8 @@ static char *(features[]) =

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