[Tcwg-commits] [gcc] branch trunk updated (a7b8025 -> b2eda4e)