[Tcwg-commits] [gcc] branch gcc-7-branch updated (efcce5e2509 -> 47cb76f97d0)