Could some on having a Redmi 4X (HM4X / santoni) tell whether the update is fine and what the Android security patch level is?
Also is there still a patch available to use the notifications from the global run.
Currently running MIUI 9.3 8.2.1 and extremely happy, but an updated patch level...