close 1143794
thanks

> Can we retitle the bug, or do you prefer to close it
> so that I report a brand new one?

Actually, to avoid confusion, I believe it's better to close the old bug,
so I'm doing that myself.

Thanks.

Reply via email to