[mario_rep]

Cuidado, la developer Rom no esta soportada por RN3, al menos desde en.miui.com:

http://en.miui.com/download-295.html

No estoy diciendo que no sirva porque no la he probado, solo que no esta soportada oficialmente, ya que si vale para el RN2:

http://en.miui.com/download-274.html


Por otra parte las developer se llaman asi porque les ponen el nombre según la fecha de liberación, la 5.12.10 es la del 10/12/2015, explained here:

http://en.miui.com/thread-24860-1-1.html

Toda la info extraida de aqui:

http://en.miui.com/thread-192249-1-1.html