On Mon, Apr 17, 2006 at 12:46:03PM +0200, Alan Barrett wrote: > Does anybody pay attention to bug reports or patches posted here? Generally speaking, yes, certainly. But reporting them on bugzilla is prefered to make sure they aren't forgotten. //Peter