Hi Nick, > > > > The patch is https://sourceware.org/git/gitweb.cgi?p=binutils- > gdb.git;a=commit;h=957f6b39cab6cac0e4c54e650c7f75109544ac1d > > > > Umm - best to check with the GDB folks, since it is their branch... Ah, I forgot that gdb has its own mailing list.. Thanks, Tamar > > Cheers > Nick >