On Tue, 2005-11-22 at 16:11 +0100, Bernhard wrote: > I have added this here as a comment: > http://bugzilla.ximian.com/show_bug.cgi?id=76706 > Should we file a separate bug report for that one? Now that it's there, I'll fix both issues at the same time. Thanks. -Gonzalo