[Tcwg-commits] [gcc] branch devel/sphinx updated (eb8a32c6a1e -> c5ed58925a1)