[Tcwg-commits] [gcc] branch trunk updated (f425645 -> 6c6c4b5)