patch 8.2.4351: no coverage is measured on MS-Windows CI

Problem: No coverage is measured on MS-Windows CI. Solution: Enable coverage on MS-Windows. (Ozaki Kiichi, closes #9750)
2022-02-12 10:13:13 +00:00
parent 29c70f612f
commit 41ee5b1913
2 changed files with 40 additions and 6 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

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