Creo que la voy a probar, pero hare copia del actual CM7.2 concretamente esta version que va muy fluida y completa: [ROM][GPL][CM7.2][ODEXED][26-05-2013] New Experience v9.9.1
Quiero averiguar, si han podido ajustar mejor esa ROM CM10.1 a nuestros Galaxy Mini, pues como dice pablog6, yo tenia una experiencia negativa con una ROM similar a esa.