No sé si es exactamente lo que se va publicando aquí, pero encontré esta web donde explican el changelog de cada versión
http://changelog.bbqdroid.org Clickais arriba en samsung y buscais el mini en la lista que se despliega. La cosa es que dice que son los cambios para CM 9, no 7. Ni idea, alguien que aporte luz por favor!
