Repetitive OOD optimization

[goredo.git] / doc / news.texi

diff --git a/doc/news.texi b/doc/news.texi
index 56b537d7d81f9b62f88fe3d13ba16948a2a575fe..0979623eca341c85625e192ba84198e92c95f0f5 100644 (file)
--- a/doc/news.texi
+++ b/doc/news.texi
@@ -1,6 +1,14 @@
 @node News
 @unnumbered News
 
+@anchor{Release 1.3.0}
+@section Release 1.3.0
+@itemize
+@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