[Bug c/65781] gcc-5.1.0-RC-20150412 thinks it is 5.0.1

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65781

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
We'll need to do something with the *.gcda version numbers for the new
versioning scheme (because otherwise we'll run out of versions RSN), most
likely to start somehow encoding the major number in the former major and minor
characters and leave the patchlevel character for say the (minor << 1) |
patchlevel into the former patchlevel character, but then it would be better to
always keep patchlevel at 0 or 1.  So not sure if we want to use 5.0.2 for
RC2...