Hi all, I was a bit away and busy these times (papers to write, conference, ...). I plan to make the SVN migration of our CVS repository in the next few days. Before that, I need to make sure that nobody has pending commits to the CVS. We can then decide to freeze commits. So if you have pending commits, please stand up :-) Thanks