[Rock-dev] Bug reports & merge requests on github, please (at least for me)

[Sylvain Joyeux]

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