[Tcwg-commits] [binutils-gdb] branch gdb-7.12-branch updated (888c248 -> 7b505a4)