patch 7.4.1294

Problem: job_stop() only kills the started process. Solution: Send the signal to the process group. (Olaf Dabrunz)
2016-02-09 11:37:50 +01:00
parent e56bf15c16
commit 7280140c08
2 changed files with 9 additions and 1 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -747,6 +747,8 @@ static char *(features[]) =

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