Skip to content
GitLab
Explore
Sign in
Register
Remove useless 'type: ignore' annotation.
Code
Review changes
Check out branch
Download
Patches
Plain diff
vlorentz
requested to merge
generated-differential-D4526-source
into
generated-differential-D4526-target
Nov 19, 2020
Overview
4
Commits
3
Pipelines
0
Changes
9
Expand
mypy complains about it.
Migrated from D4526 (
view on Phabricator
)
Merge request reports