Chaque semaine, Xiaomi publie les versions développeur de son MIUI arrivées à la version 10, et souvent le journal des modifications fait référence à la correction de ...