[Tcwg-commits] [gcc] branch devel/sphinx updated (0c6508fe976 -> 441aa2ce234)