Hi,
It was not a known issue, only one customer has reported it, and we were not able to replicate it on a simple WooCommerce installation on our test environments.
There is no way us to know about a problem, that is not reported, and it is not coming up on our test servers. Feel free to report any problems you encounter, and we are more than happy to correct them.