Varias fuentes dicen que el Mi 8 no va a recibir la actualización de Miui 12.5, en cambio el Redmi Note 7 si la recibe, o sea, que si el modelo se vende mucho aunque valga 135 € lo actualizan y si se vende poco, aunque sea buque insignia, lo dejan tirado antes. Ya sé lo que hay que comprarles a éstos de Xiaomi, tengo dos Redmi Note 7 y un Mi 8, nada de nada, pero en caso de hacerlo, uno de 150 € como máximo.