Author: rhuijben
Revision: 1408291
Modified property: svn:log
Modified: svn:log at Wed Dec 5 09:18:54 2012
------------------------------------------------------------------------------
--- svn:log (original)
+++ svn:log Wed Dec 5 09:18:54 2012
@@ -5,4 +5,5 @@ Fix a pool lifetime problem and related
maybe_close_dir_chain() at this sites -- seems to cause a pool
lifetime problem.
-Found by: philipm, ivan
+Found by: philip
+ ivan