Skip to content

Conversation

@kzu
Copy link
Member

@kzu kzu commented Sep 10, 2025

@kzu kzu added the enhancement New feature or request label Sep 10, 2025
@kzu kzu enabled auto-merge (rebase) September 10, 2025 18:53
@kzu kzu merged commit 48836af into main Sep 10, 2025
9 checks passed
@kzu kzu deleted the dev/property branch September 10, 2025 18:54
@devlooped devlooped locked and limited conversation to collaborators Oct 11, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants