Manoj Rajagopalan wrote:
>   Should I file a bug report? I could provide a GDB backtrace.

the usual approach is to put it there when its not fixed in a very few days.
pavel

Reply via email to