I will test with HEAD tomorrow. I am behind a firewall right now and
cannot reach cvs head.



2011/10/5 Joel Brobecker <brobecker@adacore.com>:
>> here is a possible fix for a gdb crash I just filed as bug 13259:
>
> Have you seen the request to test again with the HEAD? It appears
> a recent change may have fixed your problem.
>
> Also, could you check if you could attach the patches instead of
> putting them in the email body? The patch shows up with a lot \240
> in lieu of the spaces, and that makes it very hard to read...
>
> --
> Joel
>