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 Jan 5, 2026
@github-actions github-actions bot added json-styled JSON lint passed, label assigned by github actions astyled astyled PR, label is assigned by github actions labels Jan 5, 2026
@GuardianDll GuardianDll marked this pull request as ready for review January 7, 2026 12:07
@github-actions github-actions bot added the BasicBuildPassed This PR builds correctly, label assigned by github actions label Jan 7, 2026
@Maleclypse Maleclypse merged commit 9c6549b into master Jan 9, 2026
21 of 33 checks passed
@Maleclypse Maleclypse deleted the changelog-weekly-2026-01-05 branch January 9, 2026 04:04
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.

5 participants