patch 8.2.4715: Vagrantfile not recognized

Problem: Vagrantfile not recognized. Solution: Recognize Vagrantfile as ruby. (Julien Voisin, closes #10119)
2022-04-08 19:55:39 +01:00
parent cbaff5e06e
commit 5e1792270a
3 changed files with 6 additions and 1 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 */
+/**/
+    4715,
 /**/
    4714,
 /**/