jquery/jquery-ui — pull request #869 by jzaefferer (2012-12-28 09:18:31+00:00)
Title: Tabs manipulation

One cleanup commit, one to address http://bugs.jqueryui.com/ticket/7847