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