patch 8.1.0813: FileChangedShell not sufficiently tested

Problem: FileChangedShell not sufficiently tested. Solution: Add a more comprehensive test case.
2019-01-24 19:37:40 +01:00
parent 9ba6117de6
commit 0566e891f7
2 changed files with 92 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -787,6 +787,8 @@ static char *(features[]) =

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