* Frank van der Linden (frank@wins.uva.nl) [000315 18:29]:
| Ok.. I fixed the problem another way. I've verified that softdep
| performance is good, so if your problem also has disappeared
| (it should), then we can all be happy :)

I have it running since your last fix without any further problems
yet. Thanks...

Bjoern

-- 
Bjoern Labitzke  <hermit@cs.tu-berlin.de>
   Use PGP! (Don't you use envelopes for your letters?)