http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50840 --- Comment #1 from simon at pushface dot org 2011-10-23 18:38:48 UTC --- Oh. I see the Hg tree hasn't been updated for nearly a year. Git it is. Please close this ... Do you think that the Hg server should be stopped?