scala/scala — pull request #3163 by adriaanm (2013-11-20 07:30:43+00:00)
Title: Merge 2.10

The only commit no-op merged into master: ec89b59717
There was a conflict in the deleted starr.number.

review by @gkossakowski