As usual, the latest software update for Xiaomi's Mi A1 comes with a few spam videos on YouTube that mention Android 10. Sadly, the patch comes on top of the old Android 9 core that will not get updated via the official channels. Luckily, those who want Android 10 can pick one of the good third-party choices available.
https://www.notebookcheck.net/Xiaomi-updates-the-Mi-A1-with-the-June-2020-security-patch.477510.0.html