saludos, quise probar esto con la ultima beta de miui 10 ( la del 8 de septiembre) y en las opciones de desarrollador, no veo por ningún lado , la opción de "optimización de memoria" , tal vez , por eso , según leo, no funciona mas este fix, en fin , saludos