scala-ide/scala-ide — comment on commit bf6de571469dcc92385c0f140ece0b2722cde42f
File:  line 0
By dotta:

Cool! Yes, introducing the warning suggested by Iulian would be super-useful. Awesome job Mirko!