Skip to content

Enable reportUnnecessaryTypeIgnoreComment#487

Merged
Dr-Irv merged 3 commits intopandas-dev:mainfrom
twoertwein:pyright
Dec 29, 2022

Commits

Commits on Dec 29, 2022