On 10/13/23 12:26, Udo Grabowski (IMK) wrote:
Don't expect too much in these days from reporting bugs at mozilla, they most likely will be closed by a bot after a while...
Sometimes someone new comes along to fix them much much later: https://arstechnica.com/gadgets/2023/10/22-year-old-firefox-tooltip-bug-fixed-in-a-few-lines-offering-hope-to-us-all/ -alan- _______________________________________________ openindiana-discuss mailing list [email protected] https://openindiana.org/mailman/listinfo/openindiana-discuss
