| commit | ed3c7e633944cf70754bc05504a7cd724fdca178 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 17:34:33 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 17:34:33 2020 +0200 |
| tree | c49f36e618492a28ba68c194fb6a5fc1c5f94bb0 | |
| parent | f9a343f8bda8fbe17ff045bef7342ffd6179e2f5 [diff] [blame] |
patch 8.2.1318: no status badge for Github CI Problem: No status badge for Github CI. Solution: Add a badge.
diff --git a/src/version.c b/src/version.c index 67e52b3..0d98528 100644 --- a/src/version.c +++ b/src/version.c
@@ -755,6 +755,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1318, +/**/ 1317, /**/ 1316,