[Tcwg-commits] [gcc] branch devel/sphinx updated (743b0808ccf -> dc430faa2f0)