Hi, 

> 
> I think I fixed this problem with the patch below.  It seems to have
> been committed to the public sources, but it didn't make it onto the
> 5.1 branch.
> 

Thank you, it is working for me.

G. Jablonski


_______________________________________________
Bug-gdb mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-gdb

Reply via email to