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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.dfki.de/pipermail/rock-dev/attachments/20140624/6cc96313/attachment.htm