Zitat von Zitronella
Also: wenn es dir am Herzen liegt, dass sich etwas verändert dann wäre ein Report dort der beste Weg.Hier im Forum lesen keine Entwickler mit, es ist ein reines User helfen User Forum.
Edit: ah es scheint doch seit gestern einen entsprechenden Bug Report zu geben https://bugzilla.mozilla.org/show_bug.cgi?id=890147
Nach dem Hinweis hatte ich das Problem (natürlich nach vorheriger Suche in den offenen Bugs) im Buzilla unter https://bugzilla.mozilla.org/show_bug.cgi?id=890303 gemeldet.
Das Ticket wurde am 8.7. als "duplicate" geschlossen. Die in 890147 gemeldete Fehlermeldung habe ich allerdings nich erhalten. Demnach ist das nicht völlig "unbeachtet".
Und da es einen funktionierenden workaround gibt halte ich das jetzt auch nicht mehr für sooo dringend...