[Tcwg-commits] [gcc] branch devel/sphinx updated (b3a187edd33 -> 9fce2fbb1df)