Wpis z mikrobloga

@Svoboda: warto zmienic z global na dev rom (ale nie od miupolska tylko od xiaomi) aktualizacje co tydzien, zadnych problemow. Drugi telefon juz lece na dev romie, łącznie ponad 3 lata i zawsze mam najświeższe miui i wszystkie eksperymentalne opcje.