patch 8.1.0375: cannot use diff mode with Cygwin diff.exe

Problem: Cannot use diff mode with Cygwin diff.exe. (Igor Forca) Solution: Skip over unrecognized lines in the diff output.
2018-09-13 13:03:11 +02:00
parent bd9a53c06c
commit 3b8defd0a5
3 changed files with 9 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -794,6 +794,8 @@ static char *(features[]) =

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