scala/scala — pull request #791 by axel22 (2012-06-27 16:34:13+00:00)
Title: Fix SI-5336.

Review by @jsuereth.