Lead Developer
I don’t think it’s an issue with the child theme – it’s been downloaded thousands of times.
It probably changed encoding when you uploaded it somehow – first I’ve heard of it.
Either way, good to know that it can even happen, should help me help someone if it happens again 🙂