jenkinsci/jenkins — pull request #1431 by thiagozanetti (2014-10-15 21:17:16+00:00)
Title: Updating the number of provided plugins.

The goals is to maintain the information about the provided plugins near to the one showed on jenkins-ci.org home.