Summary of changes: dc006d7... - Update to gcc-4.7.1-RC-20120606 to fix an ICE in the MIPS (*) f57f3ed... - Make the version number follow the guildelines. (*) (*) This commit already existed in another branch; no separate mail sent