"System > Developer options" menu is removed after updates
- /e/ version: 0.13-o-2020120989181-dev-whyred
- Device model(s): Xiaomi whyred
I'm not 100% sure, but it seems that every time I update the system,
the "System > Developer options" disappears/is removed.
It must be enabled again by tapping 7 times on the build number.
Steps to reproduce
- Enable the Developer options
- Update the system
What is the current behavior?
Developer options menu has disappeared, and must be re-enabled.