patch 8.1.1413: error when the drive of the swap file was disconnected

Problem: Error when the drive of the swap file was disconnected. Solution: Try closing and re-opening the swap file. (closes #4378)
2019-05-27 23:36:21 +02:00
parent 72fcf07b06
commit b58a4b938c
4 changed files with 73 additions and 45 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -767,6 +767,8 @@ static char *(features[]) =

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