woothemes/woocommerce — pull request #6317 by greguly (2014-09-19 02:34:57+00:00)
Title: Fix for percentage discount roundings

https://github.com/woothemes/woocommerce/issues/3717