diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-03-20 18:12:59 +0100 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-03-20 18:12:59 +0100 |
commit | 98be7fecac80b30c5a323b67903eb1d0094007ea (patch) | |
tree | 6bbe7c9649856fd5c4aecd3a63ba213136d461f0 /src | |
parent | ff78155aa1755aced96a3b343e81939c94aac721 (diff) |
patch 8.2.0417: Travis CI config can be improvedv8.2.0417
Problem: Travis CI config can be improved.
Solution: Remove COVERAGE variable. Add load-snd-dummy script. add "-i NONE"
to avoid messages about viminfo. (Ozaki Kiichi, closes #5813)
Diffstat (limited to 'src')
-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 2949f059a4..349c6793c4 100644 --- a/src/version.c +++ b/src/version.c @@ -739,6 +739,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 417, +/**/ 416, /**/ 415, |