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