Ha saltado via OTA con el parche del 01 de junio de 2020
Toda la información de las Stock Rom de este modelo está en el foro:
S10 SM-G9730 TGY versión Hong Kong Stock rom Seguimiento Actualizaciones Mensuales
https://www.htcmania.com/showthread.php?t=1498392
saludos