Mange lurer på når og om deres Xiaomi / Redmi-enhet vil bli oppdatert til den nye MIUI 12, og dermed kunne dra nytte av de mange ...