woothemes/woocommerce — pull request #860 by lucasstark (2012-03-21 11:56:46+00:00)
Title: Efficiency update for price filter 

Changed the woocommerce_price_filter to query the database directly, and only return the needed data. The key area updated was to remove the call to get_posts, which is inefficient when used in this context.