From c3278e310d778c6cf4e54d310bc450b970a8c08d Mon Sep 17 00:00:00 2001 From: rl885 <51694715+rl885@users.noreply.github.com> Date: Wed, 31 Jul 2024 16:01:29 +0200 Subject: [PATCH] Update user.md xiaomi - guide for missing MIUI optimizations --- _vendors-content/xiaomi/user.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/_vendors-content/xiaomi/user.md b/_vendors-content/xiaomi/user.md index 19bca13f..b43795d6 100644 --- a/_vendors-content/xiaomi/user.md +++ b/_vendors-content/xiaomi/user.md @@ -46,6 +46,8 @@ MIUI Optimizations were reported on MIUI 12 so far, but this option may be prese +There were some reports, that the MIUI optimization was missing in the menu - [here is a workaround guide](https://piunikaweb.com/2021/04/19/miui-optimization-missing-in-developer-options-try-this-workaround/). + ### MIUI 12