scala/scala — pull request #637 by lrytz (2012-05-28 11:48:00+00:00)
Title: fix t5843

review by @paulp