web-animations/web-animations-js — pull request #602 by ewilligers (2014-06-12 03:51:15+00:00)
Title: Animate SVG height and circle coordinates

Height was already being animated in CSS animations but not in SVG
animations.