yui/yui3 — pull request #1085 by triptych (2013-08-14 23:40:23+00:00)
Title: Update HISTORY.md for 3.12.0

Replace @VERSION@ with correct release version.