| commit | 403d090e39abdc741c1b2ec0a05361cffd348289 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Wed Jul 17 21:37:32 2019 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Wed Jul 17 21:37:32 2019 +0200 |
| tree | 079522a7da6fab4b67a69832ebff8b52859cf8be | |
| parent | 3fb4f4762b49a5b5a54c17e0296e49ec815aee6c [diff] [blame] |
patch 8.1.1709: Coverity warns for possibly using a NULL pointer Problem: Coverity warns for possibly using a NULL pointer. Solution: Make sure no NULL pointer is used.
diff --git a/src/version.c b/src/version.c index d1f5eba..0ac981e 100644 --- a/src/version.c +++ b/src/version.c
@@ -778,6 +778,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1709, +/**/ 1708, /**/ 1707,