From 9424534f43284d294c199cc8beffa3dea59ef7cb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 Apr 2000 15:42:22 +0000
Subject: Updated

---
 todo | 1 +
 1 file changed, 1 insertion(+)

diff --git a/todo b/todo
index d895c997..3a08f012 100644
--- a/todo
+++ b/todo
@@ -71,6 +71,7 @@ X (Low)		e.g. probably not worth spending time on
 **** C More flexible help configuration is needed.  HOL has some nice
   on-line help but no way in PG to help by library.  Perhaps
   a help browser is needed?  At least, optional arg to help command.
+  [patch ready and waiting to go in]
 
 **** D Remove pbp.el, unused file.
 
-- 
cgit v1.2.3