Fix REDO_TRACE workability

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index 56b537d7d81f9b62f88fe3d13ba16948a2a575fe..6d5baba5b14f095271cb8e652504a2ec8d6eb1b2 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -1,6 +1,27 @@
 @node News
 @unnumbered News
 
+@anchor{Release 1.4.0}
+@section Release 1.4.0
+@itemize
+@item
+    Fixed proper @option{-xx} and @env{REDO_TRACE} workability, that
+    previously was not applied to all targets.
+@item
+    Updated dependant libraries.
+@end itemize
+
+@anchor{Release 1.3.0}
+@section Release 1.3.0
+@itemize
+@item
+    Experimental @command{redo-sources}, @command{redo-targets} and
+    @command{redo-ood} commands.
+@item
+    Repetitive OOD determination optimization: pass all already known to
+    be OOD targets to redoing targets.
+@end itemize
+
 @anchor{Release 1.2.0}
 @section Release 1.2.0
 @itemize