I have 188.8.131.52 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 184.108.40.206 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?