dart-lang/web-ui — pull request #271 by Gubaer (2012-12-19 08:52:04+00:00)
Title: Fix global messages

pull request in response to issue https://github.com/dart-lang/web-ui/issues/267