Ah I see, wasn't sure whether it was a Xiaomi issue or a EU ROM issue.
Is it something that is likely to be fixed quicker on weekly builds than on stable? No problem if you don't know, just thought I would ask.
Thanks for replying, I appreciate the hard work!