Date: Tue, 20 Aug 1996 02:01:00 +0200 (MET DST) From: Miroslav Silovic <silovic@public.srce.hr> To: coldstuff@cold.org I didn't look carefully. It appears that the cause is that db_alloc doesn't call db_mark, but doesn't fix allocated_blocks variable, either. No worries about that bug, then. Miro