ros-infrastructure/jenkins_scripts — pull request #75 by dirk-thomas (2014-07-23 21:14:22+00:00)
Title: fix handling of empty rosdep mappings

@tfoote Please review.