[Tcwg-commits] [gcc] branch devel/sphinx updated (8de5354e2cf -> 918bc838c28)