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!

This happened here:

  https://scala-webapps.epfl.ch/jenkins/view/scala-release-2.11.x/job/scala-release-2.11.x-dist/3