jenkinsci/jenkins — pull request #441 by evernat (2012-04-14 14:58:04+00:00)
Title: [FIXED JENKINS-13454] Optimize the plugin manager

See https://issues.jenkins-ci.org/browse/JENKINS-13454

As a consequence of this pull request, plugins update data is kept in memory.