Xiaomi has launched first STABLE MIUI10 for Redmi Pro.
Server: b i g o t a
http://bigota.d.miui.com/V10.1.3.0.MHQCNFI/miui_HMPro_V10.1.3.0.MHQCNFI_2fa4cf50af_6.0.zip
http://bigota.d.miui.com/V10.1.3.0.MHQCNFI/omega_images_V10.1.3.0.MHQCNFI_20181011.0000.00_6.0_cn_a162c1c9a1.tgz
I wish...