[Tcwg-commits] [gcc] branch devel/sphinx updated (c00c06b7841 -> af458885cf3)