Skip to content

Conversation

@kevingranade
Copy link
Member

Summary

None

Additional context

Automatically generated as a draft. Please copy-edit before merging.

@kevingranade kevingranade added <Documentation> Design documents, internal info, guides and help. Organization General development organization issues labels Nov 17, 2025
@github-actions github-actions bot added astyled astyled PR, label is assigned by github actions json-styled JSON lint passed, label assigned by github actions labels Nov 17, 2025
@Maleclypse Maleclypse marked this pull request as ready for review November 17, 2025 03:20
@github-actions github-actions bot added the BasicBuildPassed This PR builds correctly, label assigned by github actions label Nov 17, 2025
@Maleclypse Maleclypse merged commit aa349ab into master Nov 17, 2025
23 of 29 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

astyled astyled PR, label is assigned by github actions BasicBuildPassed This PR builds correctly, label assigned by github actions <Documentation> Design documents, internal info, guides and help. json-styled JSON lint passed, label assigned by github actions Organization General development organization issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants