# HG changeset patch
# User bears
# Date 964527170 -3600
# Node ID 7c7a7c96d35bc6e5bb212b3eb36b2128a6216be6
# Parent  dfa34d15f2d04ec29c738804555a5bcff40fa0ea
[svn] Release-1-0 merge

diff -r dfa34d15f2d0 -r 7c7a7c96d35b TODO
--- a/TODO	Mon Jul 24 07:54:35 2000 +0100
+++ b/TODO	Tue Jul 25 13:12:50 2000 +0100
@@ -7,6 +7,8 @@
 
  * Has Client_connect resource leaks if it fails?
 
+ * Bug: Lock_closeDatabases must do a Cont_write() if dirty and Lock_openDatabases()
+   should check if it is necessary to reread the group content using a timestamp.
 
 Later
 -----