I'm owned a Redmi Pro 3x64 and has a two bugs on it.
- Since a 7.12.14 ROM - Lockscreen shows an unlock pattern and not a lockscreen wallpaper when the screen is turned on.
- Since a 7.12.7 ROM - bug in a Contacts app. Contackts with an assigned photo cannot be opened or edited. If a contact's photo removed via a contacts.googls.com and sinced with a device - all works as expected.