[Tcwg-commits] [gcc] branch trunk updated (12f384c -> 963e11e)