X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=9d069f5be385d555bed58e87d33eda6b85d6c577;hb=40bf78b47ea89b15698adb9c550efa4cbacafeb7;hp=e55472ff985dd837d18aeee9085a41c538ea484a;hpb=7045acc30c7b9cd2eef46657f610db291a96bcb0;p=sbcl.git

diff --git a/NEWS b/NEWS
index e55472f..9d069f5 100644
--- a/NEWS
+++ b/NEWS
@@ -1583,6 +1583,17 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
   * incremented fasl file version number due to the change in the
     DEFSTRUCT-SLOT-DESCRIPTION structure.
 
+changes in sbcl-0.7.14 relative to sbcl-0.7.13:
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** a bug in the CONS type specifier, whereby the CAR and CDR
+       types got intertwined, has been fixed;
+    ** the type system is now able to reason about the interaction
+       between INTEGER and RATIO types more completely;
+  * fixed CEILING optimization for a divisor of form 2^k.
+  * fixed bug 240 (emitting extra style warnings "using the lexical
+    binding of the symbol *XXX*" for &OPTIONAL arguments). (reported
+    by Antonio Martinez)
+
 planned incompatible changes in 0.7.x:
   * (not done yet, but planned:) When the profiling interface settles
     down, maybe in 0.7.x, maybe later, it might impact TRACE. They both