[Tcwg-commits] [gcc] branch trunk updated (a6b7f00 -> 9807036)