patch 8.2.2192: Codecov on github actions fails

Problem: Codecov on github actions fails. Solution: Revert to codecov script. (Ozaki Kiichi, closes #7529)
2020-12-22 19:05:33 +01:00
parent 58a52f215a
commit e5492609b3
3 changed files with 6 additions and 6 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -750,6 +750,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    2192,
 /**/
    2191,
 /**/