Gracias. Soy el autor de este tema y del PR. Este error me ha estado molestando durante años. No estoy seguro de si hay algo más que deba hacer después de enviar el PR para llamar la atención sobre ello.
3 Me gusta