Current version number



Hi,
shouldn't the current version number in configure.in be 5.13.0cvs?
It is currently set to 5.12.99rc1 in the MAIN branch.
I can change it myself, but I just wanted to make sure there are no
objections.

Regards,
Jaime Villate