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

Reply via email to