Skip to content

Conversation

sunxd3
Copy link
Member

@sunxd3 sunxd3 commented Apr 19, 2024

No description provided.

@sunxd3
Copy link
Member Author

sunxd3 commented Apr 19, 2024

@torfjelde I'll let the CI run a bit, and maybe just merge this branch to your PR

@sunxd3 sunxd3 closed this Apr 20, 2024
@sunxd3
Copy link
Member Author

sunxd3 commented Apr 20, 2024

#2197

@yebai yebai deleted the sunxd/move_to_Accessors branch April 20, 2024 08:42
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