> I mentioned from the beginning, that we aim to put these features > into the release. If they are enabled by default is a different story.
So what ? They have not even landed in master. Basically, what you're saying here is: "oh, I have this major change. I've never discussed it with the various package maintainers, it's not merge in master, but I'd like to fast-track it anyways to the next release" Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
