Skip to content
Merged
Tyriar merged 1 commit intomainfrom
tyriar/xterm_230815
Aug 15, 2023
Merged

[email protected]#190512
Tyriar merged 1 commit intomainfrom
tyriar/xterm_230815

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented Aug 15, 2023

Fixes #189753

@Tyriar Tyriar added this to the August 2023 milestone Aug 15, 2023
@Tyriar Tyriar self-assigned this Aug 15, 2023
@Tyriar Tyriar enabled auto-merge August 15, 2023 17:37
@Tyriar Tyriar merged commit ee823a1 into main Aug 15, 2023
@Tyriar Tyriar deleted the tyriar/xterm_230815 branch August 15, 2023 18:33
@github-actions github-actions bot locked and limited conversation to collaborators Sep 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Terminal crash

2 participants