Status for last commit.

diff --git a/status.20x b/status.20x
index f09f0132ff7de917269966f9dc4ba8e7c791f192..1559a0e005fc010ace70ab34d812b9c47157d858 100644 (file)
--- 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