Should gcc/DEV-PHASE in gcc 4.2 branch be updated?

[H.J. Lu]

Hi Mark,

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?


H.J.