scala/scala — pull request #3675 by adriaanm (2014-04-04 20:06:49+00:00)
Title: Render scala.full.version to versions.properties.

When called with -Dupdate.versions, the build will render its current
set of versions to versions properties. This is used during releases,
when bootstrapping to a consistent set of modules that constitute
a release.

Particularly, scala.full.version is the non-SNAPSHOT full version
of scala that's closed to maven.version.number. It's similar in
spirit to the module build's snapshotScalaBinaryVersion,
except that it's always the full version, so, e.g., 2.11.1 rather than 2.11.

This version is so far only used to determine the dependency on
scala-continuations-plugin in scala-dist.

Review by @retronym. See also https://github.com/scala/jenkins-scripts/pull/91