On Wed, 23 Mar 2011, Alexander Krauss wrote: > I tried to fix this in 6a147393c62a for Mirabelle. If it doesn't produce > new crashes, we can do the same for Mutabelle. This looks fine. Makarius