[Tcwg-commits] [gcc] branch devel/sphinx updated (adf0825ae77 -> 490d1e1be15)