dart-lang/core-elements — pull request #34 by jmesserly (2014-06-25 19:16:21+00:00)
Title: rename to remaining dart-* to core-*-dart, fixes #28

R= @justinfagnani @sigmundch