Skip to content

Conversation

lars-berger
Copy link
Member

No description provided.

@lars-berger lars-berger merged commit c295669 into main Oct 1, 2024
1 check passed
@lars-berger lars-berger deleted the fix/redraw-after-move-workspace branch October 1, 2024 10:04
Copy link

github-actions bot commented Oct 1, 2024

🎉 This PR is included in version 3.3.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: ✅ Done
Development

Successfully merging this pull request may close these issues.

1 participant