scala/scala — pull request #384 by xeno-by (2012-04-13 07:10:47+00:00)
Title: Fixes https://scala-webapps.epfl.ch/jenkins/job/scala-checkin-rangpos/404

We have so many starr rebuilds flying around right now, that this guy will eventually reach starr without my help.