[Tcwg-commits] [gcc] branch devel/sphinx updated (87e8197e401 -> c4cf402822b)