Giuseppe Attardi's bug

diff --git a/TODO-RELEASE b/TODO-RELEASE
index 701eb468e554e9d5f7c012c04e0ec9da6f9a1d6d..3197868e0a7a2c4d4d076f643b91977aa38f2624 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
 ======================