woothemes/woocommerce — comment on commit ceff57323cdd0627bb51c4d31df6b0084cfddb9f
File:  line 0
By GeertDD:

This change breaks two things. Firstly, the decimal separator is hardcoded now. It could be a comma instead of a dot too. Secondly, a price like "10.50" will be trimmed to "10.5", while it should keep its two decimal digits. Either trim all decimals, if possible, or leave the number as is.

If I'm not missing something, I'd like to see the regex restored. Thanks.