Skip to content

Use promoted properties#8

Merged
Baptouuuu merged 1 commit intodevelopfrom
cs
Feb 15, 2026
Merged

Use promoted properties#8
Baptouuuu merged 1 commit intodevelopfrom
cs

Conversation

@Baptouuuu
Copy link
Member

No description provided.

@Baptouuuu Baptouuuu self-assigned this Feb 15, 2026
@Baptouuuu Baptouuuu merged commit 37a278b into develop Feb 15, 2026
6 checks passed
@Baptouuuu Baptouuuu deleted the cs branch February 15, 2026 16:43
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.

1 participant