[Tcwg-commits] [gcc] branch master updated (a37d7d6fc1d -> adddfc85c07)