[Tcwg-commits] [gcc] branch master updated (a12eaf2 -> 80a0266)