Skip to content

Remove redundant reportUnnecessaryTypeIgnoreComment=true - #9622

Closed
Avasam wants to merge 3 commits into
python:mainfrom
Avasam:redundant-reportUnnecessaryTypeIgnoreComment=true
Closed

Remove redundant reportUnnecessaryTypeIgnoreComment=true#9622
Avasam wants to merge 3 commits into
python:mainfrom
Avasam:redundant-reportUnnecessaryTypeIgnoreComment=true

Commits

Commits on Jan 30, 2023