[Tcwg-commits] [gcc] branch trunk updated (6c1fc50 -> a7b8025)