| commit | ef7be8348fd830e409504a442f3f3ad0931cfbc3 | [log] [tgz] |
|---|---|---|
| author | Christian Brabandt <cb@256bit.org> | Tue Jun 22 18:21:19 2021 +0200 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Jun 22 18:21:19 2021 +0200 |
| tree | 79d188f4b7c776731f6f3e3cf6df7a3549213c7b | |
| parent | 419a40ac9657e39646b2e0f3f71d7736b0c459d1 [diff] [blame] |
patch 8.2.3034: installing packages on github CI sometimes fails
Problem: Installing packages on github CI sometimes fails.
Solution: Update package information first. (Christian Brabandt,
closes #8432)
diff --git a/src/version.c b/src/version.c index d8d033a..5502952 100644 --- a/src/version.c +++ b/src/version.c
@@ -756,6 +756,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 3034, +/**/ 3033, /**/ 3032,