Skip to content

Cherry-pick some stub fixes from typeshed - #11739

Merged
JukkaL merged 3 commits into
masterfrom
typeshed-cherry-picks
Dec 14, 2021
Merged

Cherry-pick some stub fixes from typeshed#11739
JukkaL merged 3 commits into
masterfrom
typeshed-cherry-picks

Partial typeshed cherry-pick: Add `SupportsRichComparison` type to `_…

260bd19
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs