CyanogenMod 10 for Galaxy Mini!

So I thought I would share this with you all here. TheWhisp and his team of developers have got CM10 (based on JellyBean) to work on our Mini's! The ROM works fine apart from any bugs mentioned in the thread, although I would recommend overclocking, because as you can imagine it runs a bit slow. You flash it like any normal ROM, if you need any help just ask.

Anyway, I just thought I'd let you all know about it, just in case you hadn't seen it.