Skip to content

Conversation

@staudtMarius
Copy link
Member

Resolves #371

@staudtMarius staudtMarius self-assigned this Oct 31, 2025
@staudtMarius staudtMarius added the enhancement New feature or request label Oct 31, 2025
Copy link
Member

@sebastian-peter sebastian-peter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@sebastian-peter sebastian-peter merged commit 2eecd76 into dev Nov 4, 2025
4 checks passed
@sebastian-peter sebastian-peter deleted the ms/#371-extend-FlexOption-handling-in-ExtInputContainer branch November 4, 2025 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Extend FlexOption handling in ExtInputContainer

3 participants