Leandro Lucarella wrote: > In case you missed my other mail, I opened a bug report in GDB bugzilla to > keep track of the patch: > http://sourceware.org/bugzilla/show_bug.cgi?id=10142 This is great. I'm glad you're pushing this.