cargomedia/puppet-packages — pull request #691 by njam (2014-08-13 12:33:57+00:00)
Title: Make number of jenkins executors configurable

@ppp0 please review