patch 8.0.1500: possible NULL pointer dereference

Problem: Possible NULL pointer dereference. (Coverity) Solution: Check for the pointer not being NULL.
2018-02-11 15:02:48 +01:00
parent 4b7e7bed6c
commit 0549a1e184
2 changed files with 9 additions and 9 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -771,6 +771,8 @@ static char *(features[]) =

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