OrangeFox R11.3 stable for Xiaomi Redmi Note 7 (lavender)