First of all, thanks a lot to the developers for their hard work to get us KitKat when Samsung doesn't.
I installed Maclaw 11.0 dated 31Jan without a problem. I noticed than when going to Settings > About phone the Memory option shows 804 MB. I never checked this value before installing CM (so I don't know if that was the case before), but the specs say that the RAM of my SIII Mini is 1GB. So I am a bit puzzled.
Is this normal, or is this a problem with the ROM?