Skip to content

Conversation

@hauntsaninja
Copy link
Collaborator

@github-actions

This comment has been minimized.

@hauntsaninja hauntsaninja added the status: deferred Issue or PR deferred until some precondition is fixed label May 18, 2024
@hauntsaninja
Copy link
Collaborator Author

Oops, looks like Barney never replied and now it's too late

@hauntsaninja hauntsaninja removed the status: deferred Issue or PR deferred until some precondition is fixed label Oct 1, 2024
@hauntsaninja hauntsaninja marked this pull request as ready for review October 1, 2024 18:24
@srittau
Copy link
Collaborator

srittau commented Oct 1, 2024

It looks that translate has already been added in #12050.

@srittau srittau closed this Oct 1, 2024
@hauntsaninja hauntsaninja deleted the glob branch October 1, 2024 18:31
@github-actions
Copy link
Contributor

github-actions bot commented Oct 1, 2024

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

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