20190522 gadgets-news: Xiaomi Redmi 7A with Android 9.0 Pie spotted online