> Could you let us now the bug number so we can track it?

It's #9966 and #9863, but they're both closed and "fixed". So I think I
should really report the bug there as you suggested earlier.
Will leave the bug number in here after I've done that.

Reply via email to