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