scala/jenkins-scripts — pull request #34 by retronym (2013-10-09 08:16:41+00:00)
Title: Use build.number rather than build.number.maven

Adapting to https://github.com/scala/scala/commit/1e8e16e1