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