Skip to content

Improve flag handling#20

Merged
devfacet merged 1 commit into
mainfrom
flag-imp
May 7, 2026
Merged

Improve flag handling#20
devfacet merged 1 commit into
mainfrom
flag-imp

Conversation

@devfacet
Copy link
Copy Markdown
Owner

@devfacet devfacet commented May 7, 2026

Improve flag handling.

@devfacet devfacet self-assigned this May 7, 2026
@devfacet devfacet added the enhancement New feature or request label May 7, 2026
@devfacet devfacet merged commit 077cdcc into main May 7, 2026
6 checks passed
@devfacet devfacet deleted the flag-imp branch May 7, 2026 00:54
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.

1 participant