Revert "package/loader: Remove no longer needed type ignore comment" (!270) · Merge requests · Platform / Development / swh-loader-core · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

Antoine R. Dumont requested to merge generated-differential-D7177-source into generated-differential-D7177-target Feb 15, 2022

This reverts commit 4ead2b60 to fix the master build [1]

[1] https://jenkins.softwareheritage.org/view/swh-draft/job/DLDBASE/job/tests/1817/console

Migrated from D7177 (view on Phabricator)