diff options
| author | zeertzjq <zeertzjq@outlook.com> | 2024-03-13 20:42:26 +0100 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-03-13 20:42:26 +0100 |
| commit | 8c55d60658b7ee3458dca57fc5eec90ca9bb9bf3 (patch) | |
| tree | dddeb0a5cbbbf48122ed92f5ee1ab512d852ac22 /src/version.c | |
| parent | 253ff4dece4e6cc4a9ff3ed935bc78f832b6fb7c (diff) | |
patch 9.1.0177: Coverity reports dead codev9.1.0177
Problem: Coverity reports dead code.
Solution: Remove the dead code. Also fix a mistake in ml_get_pos_len()
and update some comments (zeertzjq).
closes: #14189
Signed-off-by: zeertzjq <zeertzjq@outlook.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
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 6bdf896957..78c496b735 100644 --- a/src/version.c +++ b/src/version.c @@ -705,6 +705,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 177, +/**/ 176, /**/ 175, |