Updated.

1 files changed, 0 insertions, 3 deletions

diff --git a/todo b/todo
index bb42cfda..3d0edbde 100644
--- a/todo
+++ b/todo
@@ -734,6 +734,3 @@ List of things postponed from PG 3.4: need to be merged above
     This needs to be fixed up in count undos, find-and-forget.
 
 *** Generic versions of count undos and find-and-forget generic.
-
-*** Key bindings on proof-universal-keys missing from scripting menu
-    (XEmacs)