scala/scala — pull request #616 by axel22 (2012-05-24 16:08:47+00:00)
Title: Issue/5085

Review by @phaller.