scala/scala — pull request #1871 by adriaanm (2013-01-08 22:49:37+00:00)
Title: Merge 2.10.x

review by @paulp