jenkinsci/jenkins — pull request #1256 by thiagozanetti (2014-05-28 21:44:59+00:00)
Title: Changing the number of provided plugins.

The number of provided plugins was outdated.