[Tcwg-commits] [gcc] branch devel/sphinx updated (910ef4ff32f -> 3af708eb454)