diff --git a/ChangeLog b/ChangeLog
index 6489ca9e7..069caa843 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2011-12-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* NEWS: Summarize recent fixes.
+
 2011-12-18  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fix VPATH builds, now that hash.hh include _config.h
diff --git a/NEWS b/NEWS
index c64ba4492..b539a97cd 100644
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,13 @@
 New in spot 0.8a:
 
-  Nothing yet.
+  * Only bug fixes:
+    - When ltl2tgba is set to perform both WDBA minimization and
+      degeneralization, do the latter only if the former failed.
+      In previous version, automata were (uselessly) degeneralized
+      before WDBA minimization, causing important slowdowns.
+    - Fix compilation with Clang 3.0.
+    - Fix a Makefile setup causing a "make check" failure on MacOS X.
+    - Fix an mkdir error in the CGI script.
 
 New in spot 0.8 (2011-11-28):