| commit | 4a5c39fc52a73d46ac77cf574f765a465befc3c0 | [log] [tgz] |
|---|---|---|
| author | Amaan Qureshi <amaanq12@gmail.com> | Tue Mar 21 19:57:33 2023 +0000 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Mar 21 19:57:33 2023 +0000 |
| tree | 4053da8d2c4e77b3a861347b21ece12a1567a185 | |
| parent | 5fedb8a5ab7addb584728c89e809be190de992bf [diff] [blame] |
patch 9.0.1419: Lean files are not recognized Problem: Lean files are not recognized. Solution: Add a pattern for Lean files. (Amaan Qureshi, closes #12177)
diff --git a/src/version.c b/src/version.c index 45be73e..379980a 100644 --- a/src/version.c +++ b/src/version.c
@@ -696,6 +696,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1419, +/**/ 1418, /**/ 1417,