[Tcwg-commits] [gcc] branch trunk updated (8f282ed -> 15af172)