Skip to content
GitLab
Explore
Sign in
Register
Revert "package/loader: Remove no longer needed type ignore comment"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Antoine R. Dumont
requested to merge
generated-differential-D7177-source
into
generated-differential-D7177-target
Feb 15, 2022
Overview
5
Commits
1
Pipelines
0
Changes
1
Expand
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
)
Merge request reports