[Tcwg-commits] [gcc] branch devel/sphinx updated (ecb7b9c4134 -> e524607beb2)