Revert "Placate mypy (redux)"

mediawiki-client-tools / mediawiki-dump-generator

Python 3 tools for downloading and preserving wikis

GNU General Public License v3.0

89 stars 14 forks source link

Closed elsiehupp closed 11 months ago

elsiehupp commented 11 months ago

Reverts mediawiki-client-tools/mediawiki-dump-generator#186

This shouldn't have been merged quite yet, since it didn't pass the tests.

robkam commented 11 months ago

Oops, I've got used to ignoring when it fails the tests.