On Sun, 2004-07-25 at 18:15, Dieter Maurer wrote: > The bug Chris mentioned and fixed by my patch (the "CHANGES.txt" > report for which Chris thought uninformative)... The patch is appreciated though! - C