Fix REDO_TRACE workability

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index cbcd68dddab30f0254518911d5e44de1fd46bbcc..6d5baba5b14f095271cb8e652504a2ec8d6eb1b2 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -1,6 +1,16 @@
 @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