[xiaomi_en] Update internal name for Note 13 Pro

This commit is contained in:
Kevin Huang
2023-09-26 19:44:50 +08:00
parent 4d1c27197a
commit 0f56ab010c

View File

@@ -1381,7 +1381,7 @@
`2312DRAABC`: Redmi Note 13 5G China
**Redmi Note 13 Pro 5G (`garnet`):**
**[`N16`] Redmi Note 13 Pro 5G (`garnet`):**
`2312DRA50G`: Redmi Note 13 Pro 5G Global