[Tcwg-commits] [gcc] branch devel/sphinx updated (3c527a35fa4 -> 54f3cfaf3a6)