Skip to content

Consolidate duplicated annotation properties#201

Merged
tmikuska merged 1 commit intodevfrom
consolidate-duplicated-properties
Mar 23, 2026
Merged

Consolidate duplicated annotation properties#201
tmikuska merged 1 commit intodevfrom
consolidate-duplicated-properties

Conversation

@tmikuska
Copy link
Collaborator

No description provided.

@tmikuska tmikuska requested review from rschmied and virlos March 17, 2026 13:44
@tmikuska tmikuska merged commit 7678193 into dev Mar 23, 2026
5 checks passed
@tmikuska tmikuska deleted the consolidate-duplicated-properties branch March 23, 2026 21:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants