patch 8.2.0215: wrong file name shortening

Problem: Wrong file name shortening. (Ingo Karkat) Solution: Better check for path separator. (Yasuhiro Matsumoto, closes #5583, closes #5584)
2020-02-05 21:14:00 +01:00
parent 2e6638d5f0
commit a78e9c61a0
3 changed files with 15 additions and 7 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -742,6 +742,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    215,
 /**/
    214,
 /**/