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