patch 8.2.0143: Coverity warning for possible use of NULL pointer

Problem: Coverity warning for possible use of NULL pointer. Solution: Check argv is not NULL.
2020-01-23 15:48:42 +01:00
parent 8bf716cdba
commit 81c3ea7496
2 changed files with 3 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

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