On Apr 27, 2007, at 11:04, Juan Manuel Palacios wrote: > Nice going with this rename, in sync with my dp2mp-move branch ;-) > Will we see this move in other gcc ports, like gcc41, even though > they're no longer current? [snip] Isn't gcc41 the current version of gcc?