[Tcwg-commits] [gcc] branch trunk updated (31d3df5 -> 85249fd)