The whole world should count its lucky stars that this was Tencent discovering and reporting the vulnerability, and not Huawei, who depending on the current day-of-the-week might not be able to legally report it.