[Tcwg-commits] [gcc] branch gcc-5-branch updated (712e8bd -> 9476ea9)