[Tcwg-commits] [gcc] branch trunk updated (af015d1 -> 85434c2)