commit 6b285c8cfd74e1da49fe17dca2ea9989bd9dae49
author Wu, Zhenyu <wuzhenyu@ustc.edu> Sun Mar 31 19:15:49 2024 +0200
committer Christian Brabandt <cb@256bit.org> Sun Mar 31 19:15:49 2024 +0200
tree 0d359482f7233577b25b020ae2e67cddc3f3967d
parent 665220a17b830a271f0c7ef07211d25cd1c7b389

patch 9.1.0241: filetype: mysql history files are not recognized

Problem:  filetype: mysql history files are not recognized
Solution: Detect .mysql_history as mysql
          (Wu, Zhenyu)

closes: #14362

Signed-off-by: Wu, Zhenyu <wuzhenyu@ustc.edu>
Signed-off-by: Christian Brabandt <cb@256bit.org>

src/version.c

diff --git a/src/version.c b/src/version.c
index c03de87..968ad9f 100644
--- a/src/version.c
+++ b/src/version.c
@@ -705,6 +705,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    241,
+/**/
     240,
 /**/
     239,