https://bugzilla.wikimedia.org/show_bug.cgi?id=44917
T. Gries <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #7 from T. Gries <[email protected]> --- I close the bug now, because the problem is - according to me - solved the git version of the extension. If you think, that this is not the case, please feel free to reopen the bug. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
