Para quellos que estamos usando las roms de Xiaomi.eu semanal, desde el pasado 21 de Julio que ya se está utilizando la citada rom Miui 12.5 mejorada (Enhanced).
Recordemos que las semanales de Xiaomi.eu se basan en las semanales oficiales de Miui China.