Thanks for your answer. The latest for Mi 5c is 10.2
My intention is to stay with stable ROM in Mi 5c. It is a tricky phone (the only one with a Pinecone) so a dev ROM is not my first option.
So I guess it is possible to have it in the next stable update.