[Tcwg-commits] [gcc] branch devel/sphinx updated (9104f3d64de -> 520839b3244)