diff options
author | shane.xb.qian <shane.qian@foxmail.com> | 2022-11-24 12:01:45 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2022-11-24 12:01:45 +0000 |
commit | e2da59851a4a24873d0db659f6adb1918bedb216 (patch) | |
tree | c484b5c001fb1c9637877efeb79cf23539707c2c /src | |
parent | 82946e1439d31e86dfeb6166415c73e70475cce2 (diff) |
patch 9.0.0937: forked repositories send out useless emailv9.0.0937
Problem: Forked repositories send out useless email.
Solution: When Coverity fails to run just ignore it. (Shane-XB-Qian,
closes #11604)
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 d7c6ef1e86..c4d35c3b13 100644 --- a/src/version.c +++ b/src/version.c @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 937, +/**/ 936, /**/ 935, |