Diego Novillo Fri, 26 Oct 2012 12:02:50 -0700
I've merged trunk into the gimplefe branch as of rev 192823. Tested on x86_64.
Diego.
