jquery/jquery-ui — pull request #738 by kborchers (2012-10-08 05:46:33+00:00)
Title: Progressbar: Code Review

Initially, these changes started here https://github.com/jquery/jquery-ui/pull/619. I have moved those commits to this branch which will contain all changes for the 1.10 release.