[Tcwg-commits] [gcc] branch devel/sphinx updated (f1f00d67c1b -> 272625aab59)