[Tcwg-commits] [gcc] branch devel/sphinx updated (fa5b508acd3 -> 0d9e5270f10)