diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:34:33 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:34:33 +0200 |
| commit | ed3c7e633944cf70754bc05504a7cd724fdca178 (patch) | |
| tree | c49f36e618492a28ba68c194fb6a5fc1c5f94bb0 /src | |
| parent | f9a343f8bda8fbe17ff045bef7342ffd6179e2f5 (diff) | |
patch 8.2.1318: no status badge for Github CIv8.2.1318
Problem: No status badge for Github CI.
Solution: Add a badge.
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 67e52b3d41..0d985285ee 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 */ /**/ + 1318, +/**/ 1317, /**/ 1316, |