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 Sep 1, 2025
@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 BasicBuildPassed This PR builds correctly, label assigned by github actions labels Sep 1, 2025
@GuardianDll GuardianDll marked this pull request as ready for review September 11, 2025 13:27
@github-actions github-actions bot added BasicBuildPassed This PR builds correctly, label assigned by github actions and removed BasicBuildPassed This PR builds correctly, label assigned by github actions labels Sep 11, 2025
@Maleclypse Maleclypse merged commit f50f8da into master Sep 13, 2025
28 of 43 checks passed
@GuardianDll GuardianDll deleted the changelog-weekly-2025-09-01 branch September 13, 2025 14:00
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