| commit | ac7bf8c4bfcbb157a2db6b939927bf11edb6ba7b | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 17:43:55 2020 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Wed Jul 29 17:43:55 2020 +0200 |
| tree | a8657ecaeab24007ed7073e96b8c266ed5fe25db | |
| parent | ed3c7e633944cf70754bc05504a7cd724fdca178 [diff] |
patch 8.2.1319: status badge for Github CI has wrong link Problem: Status badge for Github CI has wrong link. Solution: Rename and use the right link
diff --git a/src/version.c b/src/version.c index 0d98528..4b53df3 100644 --- a/src/version.c +++ b/src/version.c
@@ -755,6 +755,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1319, +/**/ 1318, /**/ 1317,