[Tcwg-commits] [gcc] branch devel/sphinx updated (f015156d666 -> 1a576b7ac60)