[Tcwg-commits] [gcc] branch devel/sphinx updated (c5ed58925a1 -> 93e01322371)