Skip to content

Conversation

rodvrees
Copy link
Member

@rodvrees rodvrees commented Apr 1, 2025

No description provided.

@RalfG RalfG added this to the v3.2.0 milestone Apr 2, 2025
@RalfG RalfG added GUI Graphical user interface enhancement labels Apr 2, 2025
@RalfG RalfG merged commit 1b3a410 into main Apr 2, 2025
4 checks passed
@RalfG RalfG deleted the rodvrees-patch-2 branch April 2, 2025 08:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement GUI Graphical user interface
Development

Successfully merging this pull request may close these issues.

2 participants