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