pb_devices: Add Xiaomi Redmi 10 to official

PitchBlackRecoveryProject · Mar 22, 2024 · c68cccd · c68cccd
1 parent 5a5671f
commit c68cccd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pb_devices.json b/pb_devices.json
@@ -362,6 +362,10 @@
       "name": "Xiaomi Redmi Note 11",
       "maintainer": "Agatha"
     },
+    "selene": {
+      "name": "Xiaomi Redmi 10",
+      "maintainer": "@Hasan6034"
+    },
     "fog": {
       "name": "Xiaomi Redmi 10C",
       "maintainer": "Agatha"