http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59560
--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- 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.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59560
--- Comment #9 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- 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.