woothemes/woocommerce — pull request #3855 by franticpsyx (2013-09-30 13:06:02+00:00)
Title: Add price_filter results to include extended product types with a variable price

Follow up to #3765

Would something like this be acceptable? The aim is to merge results from custom min_price/max_price queries defined by extensions that store min / max price data.

We should also ensure that all results are unique, but I am not sure if this should be done in core, or by the extensions that use this filter.