If noone has an objection, I'll prepare what is left to do to switch to github and do it in the next days.
Sylvain
_______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
