It seems to me that this phone has already been completely abandoned, both officially by Xiaomi and by other developers such as Xiaomi.eu. A pity, because the phone is still very valid.
@ingbrzy, could you please clarify if version 9.6.1.0 for the Redmi 3 / Pro will be published by the Xiaomi.eu team?
Yes, but I'm sorry to know that this phone is already dead.
I have the feeling that Xiaomi left it from the moment of its launch ... Launching it with Android 5.1 was a mistake .... If it had been launched with Android 6 it would still have support.
The problem with the LineageOS ROM, at least the 14.X versions, is that they do not use the processor cores correctly, and the full power of the processor is not used. It is a bug reported to the maintainer of the ROM in the month of May and I think it is not solved yet. https://jira.lineageos.org/browse/BUGBASH-1632