jenkinsci/jenkins — pull request #820 by jglick (2013-06-19 11:54:12+00:00)
Title: Correct display name for Maven modules from modules.jelly

See [JENKINS-17713](https://issues.jenkins-ci.org/browse/JENKINS-17713).