ros-infrastructure/jenkins_tools — pull request #22 by dirk-thomas (2014-02-17 22:25:13+00:00)
Title: notify additional recipients for devel jobs

Please review, merge and release.

Uses the information provided by ros-infrastructure/jenkins_scripts#65.