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
[EMAIL PROTECTED]
(650) 331-3385 x713

Reply via email to