| commit | 192e24d974522852bdca67db6d76ead87f57e677 | [log] [tgz] |
|---|---|---|
| author | Philip H <47042125+pheiduck@users.noreply.github.com> | Sat Jan 28 10:43:50 2023 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Jan 28 10:43:50 2023 +0000 |
| tree | 98b16b01d10c9b10589755b23949c1aac972b7b7 | |
| parent | f75a2cb3c7db6244fd7e3eee75c85d40a1614fa0 [diff] |
patch 9.0.1253: CI adds repository unnecessarily Problem: CI adds repository unnecessarily. Solution: Remove the line from the workflow. (closes #11900)
diff --git a/src/version.c b/src/version.c index 89017e0..08947ca 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1253, +/**/ 1252, /**/ 1251,