scala/scala — pull request #1752 by xeno-by (2012-12-11 07:20:22+00:00)
Title: Ticket/5841

Backport of https://github.com/scala/scala/pull/1719 into 2.10.x