[Tcwg-commits] [gcc] branch devel/sphinx updated (091222fb0aa -> a2c4ae994a5)