| commit | 930830a68b6eb7ca630956330b48996e3ef8518f | [log] [tgz] |
|---|---|---|
| author | Philip H <47042125+pheiduck@users.noreply.github.com> | Thu Aug 25 16:24:56 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Thu Aug 25 16:24:56 2022 +0100 |
| tree | 3786b2ff512de396f0857a3d489bae2d13d02de2 | |
| parent | 340dafd155222ac96304107542344faf3c56e12b [diff] [blame] |
patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04 Problem: Coverity workflow still uses Ubuntu 18.04. Solution: Use Ubuntu 20.04
diff --git a/src/version.c b/src/version.c index 50294f8..b5cdfdf 100644 --- a/src/version.c +++ b/src/version.c
@@ -728,6 +728,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 267, +/**/ 266, /**/ 265,