[Tcwg-commits] [gcc] branch devel/sphinx updated (93e01322371 -> 845e0842307)