lampepfl/dotty — pull request #120 by DarkDimius (2014-04-11 20:04:58+00:00)
Title: Backend backport

several issues I've fixed while working on backend