patch 8.1.0923: terminal dump diff swap does not update file names

Problem: Terminal dump diff swap does not update file names. Solution: Also swap the file name. Add a test.
2019-02-15 00:16:13 +01:00
parent 96baf02aa8
commit c3ef896608
3 changed files with 38 additions and 2 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -783,6 +783,8 @@ static char *(features[]) =

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