patch 8.1.0219: expanding ## fails to escape backtick

Problem: Expanding ## fails to escape backtick. Solution: Escape a backtick in a file name. (closes #3257)
2018-07-28 17:07:52 +02:00
parent 95e51470f1
commit 2c8c681bfc
3 changed files with 11 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -798,6 +798,8 @@ static char *(features[]) =

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