Skip to content

Conversation

@alexmerlin
Copy link
Member

No description provided.

@alexmerlin alexmerlin self-assigned this Oct 30, 2023
@alexmerlin alexmerlin linked an issue Oct 30, 2023 that may be closed by this pull request
@arhimede arhimede merged commit 228d122 into 4.0 Oct 31, 2023
@alexmerlin alexmerlin deleted the issue-413 branch November 7, 2023 06:12
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.

replace annotation with attribute

4 participants