[Tcwg-commits] [gcc] branch devel/sphinx updated (38dbface07d -> d67627857ce)