web-animations/web-animations-js — pull request #432 by mithro (2013-08-20 13:24:14+00:00)
Title: Fallback to non-mirrors version if the mirrors version fails.

The mirror stuff seem to be a bit flaky on Travis at the moment, fall back to non-mirror if needed.