REDMI Note15 Pro系列定档了，8.21发布[举手] ​​​