[Tcwg-commits] [gcc] branch master updated (727137d6ca6 -> 640ae312f12)