Pues tienes razón, mirando el historico de rom oficiales estables para modelo global
MIUI ROM for Redmi Note 5 - MIUI Downloads - Xiaomi MIUI Official Forum la situacion es la siguiente
V9.2.13.0.NEIMIEK --> La que acaba de saltar en Nougat Miui 9.2
V9.5.6.0.OEIMIFA --> La precedente Oreo y Miui 9.5
V9.2.7.0.NEIMIEK --> La primera que existió Nougat y Miui 9.2
Es algo raro este retroceso de version android, me da que pensar que estando en pruebas Miui10, hayan retocado algun bug sobre una rom mas estable nougat, y esten dejando los retoques sobre oreo ya para miui10, porque para que currar oreo/miui9 se esta programado su desaparición ( el update de la global para el 31/5 para la global se ha suspendido aunque solo lo indica en titulo y sin aclarar modelo
MIUI 9 Global Beta ROM 8.5.31: Update Suspended - MIUI General - Xiaomi MIUI Official Forum).
Si miramos otras versiones, la india va por V9.5.9.0.NEGMIFA y la china V9.5.12.0.OEICNFA (fechada 24/4).
Me temo que vamos a tener un mes de junio muy tranquilo en lo referente a actualizaciones oficiales de Rom