It could be completely coincidental. Their China blog post suggests that unauthorized access to Gmail account was gained through phishing and malware - something https, sadly, does not protect against.