Skip to content

os: pos-only for get_terminal_size - #8284

Merged
JelleZijlstra merged 6 commits into
masterfrom
JelleZijlstra-patch-2
Jul 12, 2022
Merged

JelleZijlstra merged 6 commits into
masterfrom
JelleZijlstra-patch-2

Conversation

@JelleZijlstra

Copy link
Copy Markdown
Member

@github-actions

This comment has been minimized.

3 similar comments
@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@github-actions

This comment has been minimized.

@srittau srittau left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGMT, once the tests pass.

@github-actions

This comment has been minimized.

@github-actions

Copy link
Copy Markdown
Contributor

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

@JelleZijlstra
JelleZijlstra merged commit 0306754 into master Jul 12, 2022
@JelleZijlstra
JelleZijlstra deleted the JelleZijlstra-patch-2 branch July 12, 2022 19:30
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