Minha expectativa de que o PR tivesse sido mesclado e o problema corrigido era baseada na tag fixed, não no fato de que o tópico havia sido fechado. Acho que o tópico também foi fechado novamente antes da correção ser mesclada 
@Canapin já foi mesclado, então você pode querer tentar.