jenkinsci/jenkins — pull request #808 by magnayn (2013-06-14 12:00:54+00:00)
Title: Maven repo in parallel to workspace option

Reasonably simple fix - see commit message for details.