| commit | 8a83ffdc43a4fc904f686864a24a5b0f240df593 | [log] [tgz] |
|---|---|---|
| author | Philip H <47042125+pheiduck@users.noreply.github.com> | Fri May 20 17:19:06 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri May 20 17:19:06 2022 +0100 |
| tree | 5f640d37f0aa7986a6cde67369c404b1b17efed9 | |
| parent | 875339b22a989d0782097036169e8fb9e2100d7e [diff] |
patch 8.2.4986: some github actions are outdated Problem: Some github actions are outdated. Solution: Update CodeQl to v2, update checkout to v3. (closes #10450)
diff --git a/src/version.c b/src/version.c index 09bf61d..b098a73 100644 --- a/src/version.c +++ b/src/version.c
@@ -747,6 +747,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4986, +/**/ 4985, /**/ 4984,