H.J. Lu wrote: > According to gcc/ChangeLog, gcc 4.2.1 was released on 2007-07-19. > Shouldn't gcc/DEV-PHASE in gcc 4.2 branch be marked as prerelease? I've now updated BASE-VER and DEV-PHASE. Good catch, thanks! -- Mark Mitchell CodeSourcery mark@codesourcery.com (650) 331-3385 x713