From 0f56ab010c5be49e2eb90b67c87b27c410d39d2c Mon Sep 17 00:00:00 2001 From: Kevin Huang Date: Tue, 26 Sep 2023 19:44:50 +0800 Subject: [PATCH] [xiaomi_en] Update internal name for Note 13 Pro --- brands/xiaomi_en.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/brands/xiaomi_en.md b/brands/xiaomi_en.md index eea5e20..cda1083 100644 --- a/brands/xiaomi_en.md +++ b/brands/xiaomi_en.md @@ -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