patch 9.0.0082: cannot interrupt global command from command line

Problem: Cannot interrupt global command from command line. Solution: Reset got_int in another place. (closes #10739)
2022-07-26 17:48:13 +01:00
parent c2842adfb2
commit 3cfae39b08
4 changed files with 33 additions and 3 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -735,6 +735,8 @@ static char *(features[]) =

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