scala/scala-dist — pull request #134 by retronym (2014-04-07 15:50:06+00:00)
Title: Dummy commit to workaround bug in release script.

If one commit in this repo is tagged with two different tags,
the scala-dist-2.11.x jobs on Jenkins can pick the wrong
version of scala-dist to build the release!

Review by @adriaanm