Skip to content

Remove stubs for annoy#10388

Merged
srittau merged 1 commit into
mainfrom
delete-annoy
Jun 30, 2023
Merged

Remove stubs for annoy#10388
srittau merged 1 commit into
mainfrom
delete-annoy

Conversation

@AlexWaygood

Copy link
Copy Markdown
Member

These were only marked as obsolete in #10374. However, the runtime package has shipped a py.typed file since August 2022 -- the reason why this went unnoticed for so long was due to a bug in stubsabot, which has since been fixed (#10368)

@github-actions

Copy link
Copy Markdown
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@srittau srittau merged commit cd03884 into main Jun 30, 2023
@srittau srittau deleted the delete-annoy branch June 30, 2023 09:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants