OSDN Git Service

merge from gnu/gcc-4_7-branch.