https://bugzilla.wikimedia.org/show_bug.cgi?id=65971
xqt info@gno.de changed:
What |Removed |Added ---------------------------------------------------------------------------- CC| |info@gno.de
--- Comment #1 from xqt info@gno.de --- Isn't this bug already solved with https://gerrit.wikimedia.org/r/#/c/135747/