K 10 svn:author V 6 gerald K 8 svn:date V 27 2014-05-26T13:09:06.212571Z K 7 svn:log V 205 Update to the 20140525 snapshot of GCC 4.10. This now again builds with clang, so we don't require GCC to build any more. (There was a latent non-determinism in GCC that lead to different compilations.) END