[Tcwg-commits] [gcc] branch gcc-5-branch updated (0509d5f -> 12fea5f)