Obrigado. Sou o autor deste tópico e também do PR. Esse bug está me irritando há anos. Não tenho certeza se devo fazer mais alguma coisa depois de enviar o PR para chamar a atenção para ele.
3 curtidas