[Tcwg-commits] [gcc] branch devel/power-ieee128 updated (7615d199339 -> f88bfae2382)