patch 8.0.1293: setting a breakpoint in the terminal debugger sometimes fails

Problem: Setting a breakpoint in the terminal debugger sometimes fails. Solution: Interrupt the program if needed. Set the interface to async.
2017-11-12 18:02:06 +01:00
parent d327b0c68f
commit 60e73f2acc
3 changed files with 82 additions and 33 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -761,6 +761,8 @@ static char *(features[]) =

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