[Tcwg-commits] [gcc] branch devel/sphinx updated (42369195bef -> ffa33d36af9)