Collision resistant .log-rec extension

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index b00f197ac580138ac38c09bcb73970be6520d51c..650c12c0968d5e814068d91670f61de14178cfe1 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -1,6 +1,15 @@
 @node News
 @unnumbered News
 
+@anchor{Release 1_13_0}
+@section Release 1.13.0
+@itemize
+@item
+    Use @file{.log-rec} extension, instead of @file{.log.rec}, that
+    won't collide with already existing @file{.log} and @file{.rec} in
+    @file{.redo} directory.
+@end itemize
+
 @anchor{Release 1_12_0}
 @section Release 1.12.0
 @itemize