https://bugzilla.wikimedia.org/show_bug.cgi?id=33878
--- Comment #7 from Thomas Bleher <[email protected]> 2012-08-24 19:14:09 UTC --- 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). -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- 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
