lampepfl/dotty — pull request #277 by odersky (2014-12-13 11:04:12+00:00)
Title: Change/drop not null

Drop NotNull types. Review by @smarter.