[Tcwg-commits] [gcc] branch master updated (40b76b69b7c -> 72042d29c17)