diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-07-29 19:29:23 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-07-29 19:29:23 +0200 |
commit | 7b7f78f51dc5a2c307330af0d4e53faced34726f (patch) | |
tree | fd592f49c2129d88d4e7e81d4ffcd8cbe855f4e7 /src | |
parent | 33afa2447bdb0bdd15253c69a2cf6f9903685815 (diff) |
patch 8.2.1321: GitHub CI also runs on tag pushv8.2.1321
Problem: GitHub CI also runs on tag push.
Solution: Skip CI on push. (Ken Takata, closes #6571)
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 b81ac066a7..db2e9b42b1 100644 --- a/src/version.c +++ b/src/version.c @@ -755,6 +755,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1321, +/**/ 1320, /**/ 1319, |