Giuseppe Attardi's bug

diff --git a/TODO-RELEASE b/TODO-RELEASE
index 701eb46..3197868 100644 (file)
--- a/TODO-RELEASE
+++ b/TODO-RELEASE
@@ -15,6 +15,8 @@ Fix before releasing 7.11.0
 
 17. Diego Casorran's AmigaOS patch (feedback sent to Diego, awaiting response)
 
+19. Resolve Giuseppe Attardi's "elusive cache bug"
+
 To get fixed in 7.11.1
 ======================