I read on MIUI forum that those on 9.2.4.0 are not getting MIUI 9.5 update. There were people who were only getting 9.2.13.0 option if they were on 9.2.4.0. One person updated from 9.2.4.0 to 9.2.13.0 and immediately got 9.5.17.0.
I did the same today, i.e. updated to 9.2.13.0 and now I am having 9.5.17.0 OTA showing. Should I update or wait for 9.5.19.0 ? Is 9.5.19.0 available only for update over 9.5.17.0 only?