20190603 gadgets-news: Xiaomi Redmi Note 5 Pro and Redmi 6 Pro gets Android Pie update