[Tcwg-commits] [gcc] branch devel/gccgo updated (00eb71c43c7 -> 42fd3e04ccb)