ros/rosdistro — pull request #6238 by tfoote (2014-11-09 00:59:56+00:00)
Title: Pull request to fix #6237

@dirk-thomas please review.