patch 8.0.0923: crash in GUI when terminal job exits

Problem: Crash in GUI when terminal job exits. (Kazunobu Kuriyama) Solution: reset in_terminal_loop when a terminal is freed.
2017-08-13 14:13:19 +02:00
parent 55b6926450
commit 679653e59c
3 changed files with 38 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =

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