patch 8.0.0784: job of terminal may be garbage collected

Problem: Job of terminal may be garbage collected. Solution: Set copyID on job in terminal. (Ozaki Kiichi)
2017-07-27 22:14:59 +02:00
parent 0e83f02d80
commit a2c45a17c1
4 changed files with 27 additions and 0 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 */
+/**/
+    784,
 /**/
    783,
 /**/