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