diff --git a/status.20x b/status.20x
index f09f0132ff..1559a0e005 100644
--- a/status.20x
+++ b/status.20x
@@ -32,6 +32,9 @@ What's new
 
 - Made some minor improvements to the include_bib.py script.
 
+- Case environments provided by theorem modules should now nest
+  properly (bug 7611).
+
 
 * TEX2LYX IMPROVEMENTS