[Tcwg-commits] [gcc] branch gcc-5-branch updated (12ecb72 -> cbc5e1b)