[Tcwg-commits] [gcc] branch master updated (c79d372 -> 00a7fcc)