MIUI V188.8.131.52.NEIMIEK is rolling out currently for the Redmi Note 5 pro. It is the global stable release roll-out. Changelog suggests of no new changes/features added apart from just the bug fixes, overall system stability, general improvement in battery, few messaging and contact bug fixes- along with some improved security, browsing experience, themes and future improvements can be seen in departments of Camera, fixing of random reboots and few force closes. If you haven’t already updated, there is no reason for you not to update.
You can update manually via: https://mega.nz/#!VqhRQLgL!APK4S1C-4fZaBnbZgriJC1461qC-IkHYjYvE0SNKvic