Etiquetar el commit de la corrección y publicarlo como una nueva versión.

Subir una rama con la corrección y abrir una pull request hacia main.

Subir la corrección directamente a main y abrir después una incidencia.

Publicar el diff en una incidencia y marcarla como cerrada al recibirlo.