Kill children

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index e98554e57063b033c9a12d4da166873a5d416a73..a28696e2d042743efa124e42b5a9e6dce5577721 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -1,6 +1,14 @@
 @node News
 @unnumbered News
 
+@anchor{Release 1_17_0}
+@section Release 1.17.0
+@itemize
+@item
+    If @command{redo*} process is killed, then it sends @code{SIGTERM}
+    to all his children too, properly terminating the whole job queue.
+@end itemize
+
 @anchor{Release 1_16_0}
 @section Release 1.16.0
 @itemize