[Tcwg-commits] [gcc] branch gcc-5-branch updated (80e8767 -> a7327de)