scala/scala — pull request #1066 by magarciaEPFL (2012-08-06 19:46:31+00:00)
Title: SI-6102

review by @VladUreche or @dragos or @gkossakowski