Probably a stupid question, but how would I get the complete new version of jQuery UI that includes fixes made let's say in the past 3 days?

Scott Gonzalez fixed a problem I brought up a few days ago in Rev 3868.  It shows up in the source here:  http://dev.jqueryui.com/browser

But visiting the google code site here:  http://jquery-ui.googlecode.com/svn/tags/1.8rc3/ which says Rev 3871, the change he made is not in the file.

Do you have to get the latest source and do it yourself?  How does the UI team release builds?

Thanks.