[Tcwg-commits] [gcc] branch devel/sphinx updated (845e0842307 -> 498ab574106)