------- Comment #2 from gerald at pfeifer dot com 2006-10-09 19:46 ------- Making the major.minor number (4.1, 4.2,...) part of the name sounds quite fine to me!
(Sorry for the delay in responding to your question, Tom. I've been out last week.) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29205
