Due to the pending migration to github, I currently will only consider merge requests that are made on github regarding the packages for which I am maintainer (a.k.a. most of the toolchain)
You can find the packages and the relevant links here: http://rock-robotics.org/rock-core/ Sylvain
_______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
