I have 126.96.36.199 xiaomi.eu stable on Mi Note Pro (leo). Got notification that an OTA update is available (ca. 50MB). I wonder because normaly xiaomi.eu roms OTA should be full file size and 188.8.131.52 is not yet available to download here. Should I do the update or is there a bug that it wants to download original china update?