Do not panic with -k and command was not run

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index 2adfe78785f86613460c3454a4d3e027e01dbc0c..e98554e57063b033c9a12d4da166873a5d416a73 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -6,6 +6,8 @@
 @itemize
 @item
     Unexistent targets are considered always out-of-date, as it should be.
+@item
+    Do not panic if @env{$REDO_LOGS=1} and we were unable to start the command.
 @end itemize
 
 @anchor{Release 1_15_0}