[Tcwg-commits] [gcc] branch master updated (47a61e65148 -> 80f78716c2c)