Light Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Type hint improvements#423

Open
scop wants to merge 1 commit intokislyuk:mainfrom
scop:type-hint-improvements
Open

Type hint improvements#423
scop wants to merge 1 commit intokislyuk:mainfrom
scop:type-hint-improvements

Conversation

Copy link
Contributor

scop commented Apr 8, 2023

No description provided.

kislyuk force-pushed the develop branch from d696194 to 95da435 Compare December 3, 2023 02:22
Copy link
Owner

kislyuk commented Jun 18, 2024

Apologies, really sorry I forgot to merge this. It has merge conflicts now but I've merged most changes in other commits, and will merge the remaining ones after resolving conflicts. Thanks for this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants