what ever became of the "select by style" patch?

what ever became of the "select by style" patch?

Here's a link if you don't know what I'm referring to:

http://dev.jquery.com/ticket/312

I'm trying to selectively (har har puns) run a font replacement method on elements that are assigned a particular font-family in css.  The only not-painful way I see of doing this the way I want it to work is using this [&property=value] style selector.

Will this patch even work with current builds of the jQuery?  If so, please help me merge this as I'm SVN-retarded (I use Mercurial).


Many thanks in advance!!!!