lampepfl/dotty — pull request #236 by smarter (2014-11-18 15:37:57+00:00)
Title: Add overriding tests

Review by @odersky