mansoor ahamad replied at 2019-08-29 10:23:35
@DSR what a great useless developers we redmi note 6 pro user's have... a huge thanx to Xiaomi.

Mentioning me can't help you... As a software developer, I can understand that removing a bug is not that easy. Every device even of the different brand has bugs.
Whenever the update was released, user post bugs and I always report about it.