# HG changeset patch
# User Bram Moolenaar <Bram@vim.org>
# Date 1679428807 -3600
# Node ID 50f88757890815dd769dff1580044a97533ee6ce
# Parent  a1b5bf7e0ad8fd3f4ff580de28672c116a9b01ff
patch 9.0.1419: Lean files are not recognized

Commit: https://github.com/vim/vim/commit/4a5c39fc52a73d46ac77cf574f765a465befc3c0
Author: Amaan Qureshi <amaanq12@gmail.com>
Date:   Tue Mar 21 19:57:33 2023 +0000

    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 https://github.com/vim/vim/issues/12177)

diff --git a/runtime/filetype.vim b/runtime/filetype.vim
--- a/runtime/filetype.vim
+++ b/runtime/filetype.vim
@@ -1112,6 +1112,9 @@ au BufNewFile,BufRead *.ldif			setf ldif
 " Ld loader
 au BufNewFile,BufRead *.ld			setf ld
 
+" Lean
+au BufNewFile,BufRead *.lean			setf lean
+
 " Ledger
 au BufRead,BufNewFile *.ldg,*.ledger,*.journal			setf ledger
 
diff --git a/src/testdir/test_filetype.vim b/src/testdir/test_filetype.vim
--- a/src/testdir/test_filetype.vim
+++ b/src/testdir/test_filetype.vim
@@ -320,6 +320,7 @@ let s:filename_checks = {
     \ 'latte': ['file.latte', 'file.lte'],
     \ 'ld': ['file.ld'],
     \ 'ldif': ['file.ldif'],
+    \ 'lean': ['file.lean'],
     \ 'ledger': ['file.ldg', 'file.ledger', 'file.journal'],
     \ 'less': ['file.less'],
     \ 'lex': ['file.lex', 'file.l', 'file.lxx', 'file.l++'],
diff --git a/src/version.c b/src/version.c
--- a/src/version.c
+++ b/src/version.c
@@ -696,6 +696,8 @@ static char *(features[]) =
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    1419,
+/**/
     1418,
 /**/
     1417,