Xiaomi - POCO M2 Pro / Redmi Note 9S / Redmi Note 9 Pro / Redmi Note 9 Pro Max - miatoll - Documentation Suggestions

eOSWiki Documentation Suggestions
27

Considering that it is now 8 August, and new builds were supposed to be deployed by 7 August, is it safe to say that Miatoll will not receive 1.13?