[Tcwg-commits] [gcc] branch devel/sphinx updated (3710ef43346 -> cb2d70e85a7)