| commit | b213703f358e1e10ba0affb3729c09ccb2c88ea3 | [log] [tgz] |
|---|---|---|
| author | Philip H <47042125+pheiduck@users.noreply.github.com> | Thu Aug 25 15:21:24 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Aug 25 15:21:24 2022 +0100 |
| tree | 14771d4ee0a7e37ba5b790e67eb08d051307f87c | |
| parent | 6d4b2f54df5d533eb0794331f38445a6ca5d3a3f [diff] |
patch 9.0.0264: CI still runs on Ubuntu 18.04 Problem: CI still runs on Ubuntu 18.04. Solution: Run CI on Ubuntu 20.04. (closes #10582)
diff --git a/src/version.c b/src/version.c index ce61bbc..c17f7f8 100644 --- a/src/version.c +++ b/src/version.c
@@ -732,6 +732,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 264, +/**/ 263, /**/ 262,