jenkinsci/puppet-jenkins — pull request #188 by bracki (2014-09-26 08:35:33+00:00)
Title: Fix installation of core plugins

This prevents the 'plugin.jpi.pinned' file
from being deleted.

See #118 #131