ros-infrastructure/jenkins_scripts — pull request #74 by dirk-thomas (2014-07-15 19:17:43+00:00)
Title: Revert "fix devel jobs not handling ros/catkin#639 well with the changed...

Reverts ros-infrastructure/jenkins_scripts#73