[Tcwg-commits] [gcc] branch devel/sphinx updated (d4997738800 -> 282d533e864)