diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:43:55 +0200 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:43:55 +0200 |
| commit | ac7bf8c4bfcbb157a2db6b939927bf11edb6ba7b (patch) | |
| tree | a8657ecaeab24007ed7073e96b8c266ed5fe25db /src | |
| parent | ed3c7e633944cf70754bc05504a7cd724fdca178 (diff) | |
patch 8.2.1319: status badge for Github CI has wrong linkv8.2.1319
Problem: Status badge for Github CI has wrong link.
Solution: Rename and use the right link
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 0d985285ee..4b53df32d0 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 */ /**/ + 1319, +/**/ 1318, /**/ 1317, |