[Tcwg-commits] [gcc] branch master updated (a0726d5 -> 4ec6709)