From ac7bf8c4bfcbb157a2db6b939927bf11edb6ba7b Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Wed, 29 Jul 2020 17:43:55 +0200 Subject: 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 --- src/version.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src') diff --git a/src/version.c b/src/version.c index 0d985285ee..4b53df32d0 100644 --- a/src/version.c +++ b/src/version.c @@ -754,6 +754,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ +/**/ + 1319, /**/ 1318, /**/ -- cgit v1.2.3