[Tcwg-commits] [binutils-gdb] branch gdb-7.12-branch updated (d71004b -> ded7f5d)