commit 4a82bdfaa8022402b1ca0f0000c94c47a13f1014
author Martin Tournoij <martin@arp242.net> Wed Oct 11 21:20:06 2023 +0200
committer Christian Brabandt <cb@256bit.org> Wed Oct 11 21:20:06 2023 +0200
tree 47438543c1ac48d3875535acc4232b53b1d74677
parent 41e6f7d6ba67b61d911f9b1d76325cd79224753d

patch 9.0.2011: INI files not detected

Problem:  INI files not detected
Solution: detect uppercase .INI as dosini files

It previo~1 only worked for lower-case .ini files, but upperc~1 .INI is
also somewhat common on account of DOS' old 8.3 upperc~2 only filena~1.

closes: #13316

Signed-off-by: Christian Brabandt <cb@256bit.org>
Co-authored-by: Martin Tournoij <martin@arp242.net>

src/version.c

diff --git a/src/version.c b/src/version.c
index 0479f20..441acfd 100644
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    2011,
+/**/
     2010,
 /**/
     2009,