| commit | eed9616120f60ad17d5e133f505bba5c559aee89 | [log] [tgz] |
|---|---|---|
| author | James McCoy <jamessan@jamessan.com> | Mon Aug 09 13:20:38 2021 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Mon Aug 09 13:20:38 2021 +0200 |
| tree | a84231cda64ba27339512a0fce9366935e1d5d17 | |
| parent | ed8b099fd23b20d7b5a436182bde6672c8686189 [diff] [blame] |
patch 8.2.3319: Coverity action on github does not work Problem: Coverity action on github does not work. Solution: Remove undefined $SRCDIR. (James McCoy, closes #8739)
diff --git a/src/version.c b/src/version.c index 8971e5d..61d7b10 100644 --- a/src/version.c +++ b/src/version.c
@@ -756,6 +756,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3319, +/**/ 3318, /**/ 3317,