lukecarbis/woocommerce — comment on commit 646d0e36ada5f8a80c01dd4d7c0d3024c2f2ff5c
File: widgets/widget-price_filter.php line 62
By lukecarbis:

If there's a parent, and the parent hasn't already been added to matched products (prevent duplicates), add the parent to matched products.