我比较好奇什么时候正式公布REDMI品牌总经理，今晚会公布吗？ ​​​