commit | 1050476ead81a49be0289f40b2041c47a70c95ab | [log] [tgz] |
---|---|---|
author | ichizok <gclient.gaap@gmail.com> | Sat Jan 15 13:37:14 2022 +0000 |
committer | Bram Moolenaar <Bram@vim.org> | Sat Jan 15 13:37:14 2022 +0000 |
tree | 0b7683817fda653f04e21c010dd6d4d9621f6a90 | |
parent | e3ce17a3ca838954728df21ccb6c2a724490203d [diff] [blame] |
patch 8.2.4096: Linux CI: unnecessarily installing packages Problem: Linux CI: unnecessarily installing packages Solution: Only install packages for huge build. (Ozaki Kiichi, closes #9530)
diff --git a/src/version.c b/src/version.c index 733021b..ca56f41 100644 --- a/src/version.c +++ b/src/version.c
@@ -751,6 +751,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4096, +/**/ 4095, /**/ 4094,