diff options
author | Bram Moolenaar <Bram@vim.org> | 2019-07-17 21:27:52 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2019-07-17 21:27:52 +0200 |
commit | cfdbc5adde49cbab939e8164555ed0b8d9ce000b (patch) | |
tree | 9e7ef1a1d37047c93589689a32a0b55f42ff95cb /src/version.c | |
parent | 99a764bccd995a6cfe3206909f0076ef84d77506 (diff) | |
download | vim-git-cfdbc5adde49cbab939e8164555ed0b8d9ce000b.tar.gz |
patch 8.1.1707: Coverity warns for possibly using a NULL pointerv8.1.1707
Problem: Coverity warns for possibly using a NULL pointer.
Solution: Change the logic to make sure no NULL pointer is used.
Diffstat (limited to 'src/version.c')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 573f74142..b1187db57 100644 --- a/src/version.c +++ b/src/version.c @@ -778,6 +778,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1707, +/**/ 1706, /**/ 1705, |