scala/scala — pull request #638 by lrytz (2012-05-28 14:01:56+00:00)
Title: fix t5843

review by @paulp