[Tcwg-commits] [gcc] branch master updated (bad57f78679 -> 640fd2f0ccd)