scala/scala — pull request #1059 by magarciaEPFL (2012-08-06 10:21:16+00:00)
Title: SI-6188

review by @VladUreche or @dragos