scala/scala — pull request #773 by magarciaEPFL (2012-06-26 09:09:09+00:00)
Title: fix for SI-4935

review by @VladUreche