Skip to content

Conversation

@nicolad
Copy link
Member

@nicolad nicolad commented Oct 2, 2025

Related: #2981

@nicolad nicolad requested a review from cjdsellers October 2, 2025 08:40
@nicolad nicolad self-assigned this Oct 2, 2025
@nicolad nicolad added the rust Relating to the Rust core label Oct 2, 2025
Copy link
Member

@cjdsellers cjdsellers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good progress @nicolad, thank you.

@cjdsellers cjdsellers merged commit a870fb0 into develop Oct 2, 2025
17 checks passed
@cjdsellers cjdsellers deleted the 2981-6 branch October 2, 2025 21:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

rust Relating to the Rust core

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants