woothemes/woocommerce — pull request #1490 by kingbt (2012-09-10 13:53:54+00:00)
Title: Update widgets/widget-layered_nav.php

Clean urls
/catalog/?filter_brand=19,32,33&query_type_brand=or
instead of
/catalog/?filter_brand=19%2C32%2C33&query_type_brand=or