Un vieux bug tout pourri de Firefox enfin corrigé.

J’ai plutôt l’impression que ce bug, pas dangereux ni bloquant, est resté là parce que les dev sont restés procrastiner face à lui et sa non criticité. Jusqu’à ce que quelqu’un d’un peu plus motivé passe enfin par là, 22 ans après, et corrige ça.

Merci à lui en tout cas.

— (permalink)