updated for version 7.1-139
diff --git a/src/fold.c b/src/fold.c
index 07b0748..5e67dd2 100644
--- a/src/fold.c
+++ b/src/fold.c
@@ -858,7 +858,14 @@
|| 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 ce42fbc..67a1eef 100644
--- a/src/version.c
+++ b/src/version.c
@@ -667,6 +667,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 139,
+/**/
138,
/**/
137,
