Skip to content

@property extensions#1747

Merged
romainmenke merged 1 commit intomainfrom
at-property-extensions--courageous-frilled-lizard-1fd8e59131
Dec 26, 2025
Merged

@property extensions#1747
romainmenke merged 1 commit intomainfrom
at-property-extensions--courageous-frilled-lizard-1fd8e59131

Conversation

@romainmenke
Copy link
Copy Markdown
Member

No description provided.

@romainmenke romainmenke merged commit e5d9e64 into main Dec 26, 2025
9 checks passed
@romainmenke romainmenke deleted the at-property-extensions--courageous-frilled-lizard-1fd8e59131 branch December 26, 2025 21:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant