[Tcwg-commits] [gcc] branch trunk updated (1228123 -> 87d8076)