Actually not that. I thought Intra might be another victim of #MIUI's insanely aggressive battery saver, but it's disabled. That said, MIUI's optimisation has been known to kill of the system's GPS service, so it's still possible it's the battery saver.... https://twitter.com/bentasker/status/1129696586391576576/photo/1