Skip to content

Conversation

@nickvergessen
Copy link
Member

Checklist

@miaulalala
Copy link
Contributor

/backport to stable28

@nickvergessen nickvergessen merged commit e34c6ce into master Dec 1, 2023
@nickvergessen nickvergessen deleted the bugfix/noid/fix-copyright-headers branch December 1, 2023 06:59
@blizzz blizzz mentioned this pull request Mar 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

3. to review Waiting for reviews bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants