http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50982
--- Comment #43 from David Edelsohn <dje at gcc dot gnu.org> 2011-11-07 15:04:30 UTC --- Jonathan, Your patch works, but Rainer still has not checked in his original patch fixing gthr headers, AFAIK. Thanks, David
