Thanks for the feedback!
I received my Redmi 3 Pro today, with the same ROM pre-installed (v7.3.1 from xiaomi.eu). However, I think this is not exactly the xiaomi.eu ROM: xiaomi.eu provides only ROM which can be installed thanks to TWRP, but the vendor probably used MiFlash to install the ROM...