Skip to content

Conversation

LEGIO-SEXTA-FERRATA
Copy link
Contributor

This PR fixes the compilation error in a code snippet.
It is not bound to a release, so can be merged at any time.

As usual, I'll un-draft it after the internal team review.

@ConnorLand ConnorLand self-assigned this Oct 8, 2025
@ConnorLand
Copy link
Collaborator

I'll merge after it's out of draft. Thanks!

@LEGIO-SEXTA-FERRATA LEGIO-SEXTA-FERRATA marked this pull request as ready for review October 14, 2025 12:03
@LEGIO-SEXTA-FERRATA
Copy link
Contributor Author

This one is all yours @ConnorLand. ✅

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.

3 participants