ros/rosdistro — pull request #182 by ahornung (2012-11-09 09:22:05+00:00)
Title: Bumped octomap version

Could someone start the job of rebuilding the sourcedeb at Jenkins as well?