[Tcwg-commits] [gcc] branch devel/sphinx updated (eec145f7e11 -> 9c217a1395d)