dart-lang/CustomElements — pull request #4 by jmesserly (2013-12-19 02:43:40+00:00)
Title: Fix for dart2js mirrors caching

This fixes the issue we were debugging today affecting https://github.com/dart-lang/dartdoc-viewer in IE