[Tcwg-commits] [gcc] branch devel/sphinx updated (490d1e1be15 -> 7445abec5d3)