diff options
author | Bram Moolenaar <Bram@vim.org> | 2019-07-17 22:00:19 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2019-07-17 22:00:19 +0200 |
commit | 4a0a161a9bdc074498b85e1dd6bb2aab62a53aee (patch) | |
tree | bb238dfc8de754b59de50ce2954d9db7a4e3839b /src/version.c | |
parent | 403d090e39abdc741c1b2ec0a05361cffd348289 (diff) |
patch 8.1.1710: Coverity found dead codev8.1.1710
Problem: Coverity found dead code.
Solution: Remove merging of listener changes.
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 0ac981ed7a..74a16fe367 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 */ /**/ + 1710, +/**/ 1709, /**/ 1708, |