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