diff options
| author | Wu, Zhenyu <wuzhenyu@ustc.edu> | 2024-03-31 19:15:49 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-03-31 19:15:49 +0200 |
| commit | 6b285c8cfd74e1da49fe17dca2ea9989bd9dae49 (patch) | |
| tree | 0d359482f7233577b25b020ae2e67cddc3f3967d /src/version.c | |
| parent | 665220a17b830a271f0c7ef07211d25cd1c7b389 (diff) | |
patch 9.1.0241: filetype: mysql history files are not recognizedv9.1.0241
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>
Diffstat (limited to 'src/version.c')
| -rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index c03de87d96..968ad9fed2 100644 --- a/src/version.c +++ b/src/version.c @@ -705,6 +705,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 241, +/**/ 240, /**/ 239, |