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.

Sign up for GitHub

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

Jump to bottom

Gestures: Add move to workspace option #221

Merged
merged 2 commits into from
Nov 13, 2023
Merged

Gestures: Add move to workspace option #221

merged 2 commits into from
Nov 13, 2023

Conversation

danirabbit
Copy link
Member

@danirabbit danirabbit requested a review from a team October 26, 2023 18:22
@danirabbit danirabbit enabled auto-merge (squash) November 13, 2023 15:29
@danirabbit danirabbit merged commit d39f78f into main Nov 13, 2023
3 of 4 checks passed
@danirabbit danirabbit deleted the danirabbit/move-to-workspace branch November 13, 2023 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zeebok zeebok zeebok approved these changes

Assignees
No one assigned
Labels
None yet
Projects
No open projects
OS 8
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@danirabbit @zeebok