woothemes/woocommerce — pull request #4148 by scottbasgaard (2013-11-19 21:40:02+00:00)
Title: Use remove_ordering_args() to remove order query filters instead of remo...

...ve_product_query(). Most likely was a merge issue. Fixes #4142