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