[Tcwg-commits] [gcc] branch devel/sphinx updated (e6cf3193543 -> 789b80d1fbd)