Here is the public annouancement from Xiaomi : http://www.miui.com/thread-2156353-1-1.html
Of these messages I translated the portion of Redmi :
1. MIUI V5 development version will be stoped from next week begining, and Xiaomi will release MIUI V5 final stable version at the end of Dec.
2...