| commit | 5e1792270a072a96157e5d5e1d6a97414e26d0bf | [log] [tgz] |
|---|---|---|
| author | Julien Voisin <jvoisin@google.com> | Fri Apr 08 19:55:39 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Fri Apr 08 19:55:39 2022 +0100 |
| tree | f38f81d11f15dbda22dba07bb137c927485762ca | |
| parent | cbaff5e06ec525d31dc44093125c42029e01d508 [diff] [blame] |
patch 8.2.4715: Vagrantfile not recognized Problem: Vagrantfile not recognized. Solution: Recognize Vagrantfile as ruby. (Julien Voisin, closes #10119)
diff --git a/src/version.c b/src/version.c index efd7648..5ffcdeb 100644 --- a/src/version.c +++ b/src/version.c
@@ -747,6 +747,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 4715, +/**/ 4714, /**/ 4713,