commit | 9be736f2eb7b3474246d644d3defe6fd126b5b18 | [log] [tgz] |
---|---|---|
author | Philip H <47042125+pheiduck@users.noreply.github.com> | Fri Apr 21 19:51:22 2023 +0100 |
committer | Bram Moolenaar <Bram@vim.org> | Fri Apr 21 19:51:22 2023 +0100 |
tree | b4cb6fd5a1c20de61ac610c29fea96118338a2b1 | |
parent | 017227079f104bd69483ee3d33e31490d7e52135 [diff] [blame] |
patch 9.0.1474: CI runs with old version of Ubuntu and tools Problem: CI runs with old version of Ubuntu and tools. Solution: Update CI to more recent versions. (closes #11092)
diff --git a/src/version.c b/src/version.c index c3e2afe..263e98a 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1474, +/**/ 1473, /**/ 1472,