jenkinsci/jenkins — pull request #690 by recampbell (2013-01-31 22:13:26+00:00)
Title: Introduce jenkins.slaves.WorkspaceLocator

which allows extensions to override the location of the workspace.