Redmi Note7 國際開發版詢問

請問一下Redmi Note7的國際開發版大約在什麼時候會推出？
或是以Redmi Note6 Note5來推算的話 再麻煩大大了