commit | 490ac3fe98c737102c3f257bbe7c1797703116d9 | [log] [tgz] |
---|---|---|
author | Philip H <47042125+pheiduck@users.noreply.github.com> | Sun Apr 24 12:44:32 2022 +0100 |
committer | Bram Moolenaar <Bram@vim.org> | Sun Apr 24 12:44:32 2022 +0100 |
tree | 9f23ffee7ff42c3770732a8bda3489fccdf29e16 | |
parent | d42b83942e6741de2bb630ee17a2e9fcc03d6b43 [diff] [blame] |
patch 8.2.4816: still using older codecov app in some places of CI Problem: Still using older codecov app in some places of CI. Solution: Use v3.1.0. (closes #10209)
diff --git a/src/version.c b/src/version.c index 3dc22d0..57f2e8d 100644 --- a/src/version.c +++ b/src/version.c
@@ -747,6 +747,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4816, +/**/ 4815, /**/ 4814,