updated for version 7.1-139

diff --git a/src/fold.c b/src/fold.c
index 07b0748634c74a7b58c0ae89ec6552ee651ae547..5e67dd2e6def39949a2bc0acc306398a24902418 100644 (file)
--- a/src/fold.c
+++ b/src/fold.c
@@ -858,7 +858,14 @@ foldUpdate(wp, top, bot)
            || foldmethodIsDiff(wp)
 #endif
            || foldmethodIsSyntax(wp))
+    {
+       int save_got_int = got_int;
+
+       /* reset got_int here, otherwise it won't work */
+       got_int = FALSE;
        foldUpdateIEMS(wp, top, bot);
+       got_int |= save_got_int;
+    }
 }
 
 /* foldUpdateAll() {{{2 */

diff --git a/src/version.c b/src/version.c
index ce42fbc4ab288686b70472ceb9dcec6ebb4eb908..67a1eef5b7b3f961c4211f4bfde4fb1634ca9871 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -666,6 +666,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    139,
 /**/
     138,
 /**/