http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59560
--- Comment #10 from janus at gcc dot gnu.org --- (In reply to Dominique d'Humieres from comment #9) > When I say 4.7.3 it means the 4.7.3 release, otherwise I give the revision > number or the date if the former is not available. Ok, that matches my suspicion (as that commit was after the 4.7.3 release).
