1 files changed, 0 insertions, 4 deletions

diff --git a/todo b/todo
index c62a1ece..57885c6f 100644
--- a/todo
+++ b/todo
@@ -392,7 +392,3 @@ D The proof-locked-span isn't set to read-only, because overlays don't
 =========
 
 B validate/fix web pages.
-
-B add COPYING note
-
-B write release message
\ No newline at end of file