[Tcwg-commits] [gcc] branch gcc-5-branch updated (ed03237 -> 25e693f)