[Tcwg-commits] [gcc] branch gcc-5-branch updated (c4da7bc -> 3988607)