Mi expectativa de que el PR se había fusionado y esto estaba corregido se basaba en la etiqueta fixed, no en el hecho de que el tema estuviera cerrado. Creo que el tema también se cerró nuevamente antes de que la corrección se fusionara 
@Canapin ya se fusionó, así que quizás quieras intentarlo.