20190614 gadgets-news: Here's how Xiaomi Redmi 6 Pro users can get Android 9.0 Pie update