lampepfl/dotty — pull request #60 by odersky (2014-03-12 15:55:20+00:00)
Title: Fix/#50 volatile

Resubmitting the pull request with added comment.