https://bugzilla.wikimedia.org/show_bug.cgi?id=61231
Andre Klapper aklapper@wikimedia.org changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution|--- |FIXED
--- Comment #9 from Andre Klapper aklapper@wikimedia.org --- Closing again as per comment 8, as the original bug reported in *this* report is fixed.