Diederik de Haas:
> I was indeed wondering whether it would be useful to report because of that.
> As you noticed I did decide to report it and add the upstream tag because of 
> it, but I can understand closing it :)

:)

> If more ppl would report it, you could chose to reopen it so it would be 
> better visible as I didn't check closed bug reports, but I'll leave that up 
> to 
> you.

Sure!

Reply via email to