Xiaomi MI NOTE 10 Lite Update 12.5.7.0 ?

[Andrew733]

Hi
With my Xiaomi MI NOTE 10 Lite an update came today 12.5.7.0 RFNMIXM
but I can't find this update here. What should I do? Anyone know anything
more? thank you..
Or should I download that, but then my Xiaomi.eu Rom is gone, right?