> For the future, this kind of issues should discussed on the packaged > instead on the ML.
For things that important, I would support Leif about reporting it to the ML. Especially given how little github issues/PRs seem to be read in the first place. Sylvain _______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
