ros-infrastructure/rosdistro — pull request #37 by dirk-thomas (2013-12-19 20:07:18+00:00)
Title: REP 141

Do not merge yet!