Mi A1 users finally get Android Pie update which adds FM Radio and gesture support

A Xiaomi Mi A1 variant was spotted back in September on Geekbench running Android Pie 9.0.

from https://www.firstpost.com/tech/news-analysis/mi-a1-users-finally-get-android-pie-update-which-adds-fm-radio-and-gesture-support-5704451.html