severity 203534 normal merge 203534 193566 thanks On Wed, Jul 30, 2003 at 08:13:07PM +0200, Tobias Wolter wrote: > I'd advise someone to fix this. I'd advise someone to check the bug tracking system before reporting duplicate bugs. -- - mdz