patch 8.2.5119: CI uses cache v2

Problem: CI uses cache v2. Solution: Use cache v3. (closes #10588)
2022-06-17 21:27:38 +01:00
parent f9f2a330b9
commit 2ff7e7e16d
2 changed files with 4 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -734,6 +734,8 @@ static char *(features[]) =

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