Skip to content
Merged
Tyriar merged 1 commit intomainfrom
tyriar/update_xterm
Jul 11, 2022
Merged

[email protected]#154849
Tyriar merged 1 commit intomainfrom
tyriar/update_xterm

Conversation

@Tyriar
Copy link
Copy Markdown
Contributor

@Tyriar Tyriar commented Jul 11, 2022

Fixes #151225
Fixes #154689
Fixes #154700
Fixes #154702

@Tyriar Tyriar added this to the July 2022 milestone Jul 11, 2022
@Tyriar Tyriar requested a review from meganrogge July 11, 2022 19:55
@Tyriar Tyriar self-assigned this Jul 11, 2022
@Tyriar Tyriar enabled auto-merge July 11, 2022 19:55
@Tyriar Tyriar merged commit 5cb38d7 into main Jul 11, 2022
@Tyriar Tyriar deleted the tyriar/update_xterm branch July 11, 2022 20:07
@github-actions github-actions bot locked and limited conversation to collaborators Aug 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

2 participants