woothemes/woocommerce — pull request #5767 by IAmJulianAcosta (2014-07-01 05:04:41+00:00)
Title: Price filter widget touch compability

I added jQuery UI Touch Punch as a dependency of wc-price-slider script, to ensure compatibility of price filter widget with touch devices