Skip to content

pyright: turn off reportPropertyTypeMismatch#7985

Merged
srittau merged 1 commit intopython:masterfrom
JelleZijlstra:prop
May 30, 2022

Commits

Commits on May 29, 2022