https://bugzilla.wikimedia.org/show_bug.cgi?id=33878

Aaron Schulz <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #8 from Aaron Schulz <[email protected]> ---
(In reply to comment #7)
> You can checkout https://gerrit.wikimedia.org/r/#/c/17697/, which fixes this
> bug and a bunch of other issues with the DumpHTML extension. The change is
> not
> yet merged into the DumpHTML master branch, because it needs review by
> someone
> else than me (the author of the change).

This was merged.

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to