lampepfl/dotty — pull request #308 by smarter (2014-12-18 09:59:46+00:00)
Title: -Ylog:X now only log phase X, use -Ylog:X+ to also log phase X+1

This supersedes #273.
Review by @odersky .