scala/jenkins-scripts — pull request #94 by adriaanm (2014-04-07 16:39:36+00:00)
Title: robustness for full.version missing from versions.properties

Should be reverted once https://github.com/scala/scala/pull/3675 is merged, as it'll be redundant then.

/cc @retronym