[Tcwg-commits] [gcc] branch devel/sphinx updated (eb2de151c58 -> 7572f9cd10e)