patch 8.2.3947: unnecessary check for NULL pointer

Problem: Unnecessary check for NULL pointer. Solution: Remove the check. (closes #9434)
2021-12-30 13:45:57 +00:00
parent 1c67f3a977
commit f38aad85cf
2 changed files with 4 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -749,6 +749,8 @@ static char *(features[]) =

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