Redmi Pro (omega) xiaomi.eu 7.1.5 ROM.
The default dialer can't be changed from Skype to the default app in Settings - Installed apps - Defaults. If I'm select a Contacts and dialer app and pressing back button - nothing is happened. The Skype is still staying as a default dialer app.
When...
I use your Rom 7.1.3 and on the China stable find 7.1.5 update, your version multilanguage don't find it..
Also there is a bug on theme app, disappear custom botton, in "China stable" a botton work fine..