Skip to content

[v13] Add WebGL addon to web terminal#36891

Merged
avatus merged 2 commits intobranch/v13from
avatus/v13/backport-36763
Jan 24, 2024
Merged

[v13] Add WebGL addon to web terminal#36891
avatus merged 2 commits intobranch/v13from
avatus/v13/backport-36763

Conversation

@avatus
Copy link
Copy Markdown
Contributor

@avatus avatus commented Jan 18, 2024

Backport #36763
changelog: The web terminal now properly displays underscores on Linux

@github-actions
Copy link
Copy Markdown
Contributor

The PR changelog entry failed validation: Changelog entry not found in the PR body. Please add a "no-changelog" label to the PR, or changelog lines starting with changelog: followed by the changelog entries for the PR.

@avatus avatus marked this pull request as draft January 18, 2024 21:08
@avatus avatus force-pushed the avatus/v13/backport-36763 branch from 61cf4ab to c5c2e04 Compare January 22, 2024 18:00
@avatus avatus marked this pull request as ready for review January 22, 2024 18:00
@avatus avatus enabled auto-merge January 22, 2024 20:54
@avatus avatus added this pull request to the merge queue Jan 24, 2024
Merged via the queue into branch/v13 with commit 95d53e5 Jan 24, 2024
@avatus avatus deleted the avatus/v13/backport-36763 branch January 24, 2024 18:31
@camscale camscale mentioned this pull request Feb 6, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants