woothemes/woocommerce — pull request #830 by GaryJones (2012-03-16 22:27:51+00:00)
Title: Hidden cart widget improvement

Correction to #827.