woothemes/woocommerce — pull request #4603 by thenbrent (2014-01-30 20:51:25+00:00)
Title: Fix rounding bug with pre-tax product % coupon

Same as #4602 only for master branch (i.e. 2.1).