ros/rosdistro — pull request #4604 by rctoris (2014-06-02 23:02:50+00:00)
Title: Fixes type in repo

Fixes https://github.com/ros/rosdistro/commit/e05eaeec458035bb2f121e3f4d5c8eca637e8b6d#commitcomment-6529940