Смартфон Xiaomi Redmi 5 получил стабильную версию MIUI 10.2.3