AnTuTu rebríček za apríl 2020: Najvýkonnejším vlajkovým smartfónom sa stáva Xiaomi Mi 10 Pro