[Tcwg-commits] [gcc] branch devel/sphinx updated (3f254ca9707 -> c0f8bdc00d1)