Zitat von 2002Andreas
Wenn Du einen Bug melden willst, ist Bugzilla die richtige Adresse.
Danke für die Antwort. Es ist schon sehr lange her, dass ich mich mit Bugzilla befasst habe, deshalb habe ich auch gar nicht daran gedacht.
Ich habe jetzt bei Bugzilla nach meinem Problem gesucht. Dasselbe ist dort schon gemeldet, seit dem 31.03.2016 (Bug 1261034). Sein Status ist UNCONFIRMED, das heißt, es hat sich noch kein Mensch darum gekümmert.