[Tcwg-commits] [gcc] branch devel/sphinx updated (2a0afc4ad16 -> d4997738800)