Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[v13] Disable "Open new terminal" if there's no active workspace #26333

Merged
merged 5 commits into from May 16, 2023

Conversation

ravicious
Copy link
Member

Backport #25892 to branch/v13

@public-teleport-github-review-bot public-teleport-github-review-bot bot removed the request for review from avatus May 16, 2023 12:55
@ravicious ravicious added this pull request to the merge queue May 16, 2023
Merged via the queue into branch/v13 with commit 6c5b2cf May 16, 2023
22 checks passed
@ravicious ravicious deleted the bot/backport-25892-branch/v13 branch May 16, 2023 13:25
@r0mant r0mant mentioned this pull request Jul 14, 2023
@fheinecke fheinecke mentioned this pull request Sep 26, 2023
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.

None yet

3 participants