jenkinsci/puppet-jenkins — pull request #70 by sdepold (2013-12-17 14:16:04+00:00)
Title: fix optional dependency

This PR fixes the optional dependency between `File["${plugin_dir}/${plugin}"]` and `Exec["download-${name}"]`.