Skip to content

Conversation

@maartenberg
Copy link
Member

This PR adds the latest changes from our internal repo (a version number bump) and adds one extra blank line in the README to get it in sync with the internal version.

Merging this PR should make the master branches of our internal and public repo identical again.
If you agree I'll merge and tag this PR to check if the merge bot can properly tag again.

@maartenberg maartenberg requested a review from Qqwy August 20, 2025 15:33
Copy link
Contributor

@Qqwy Qqwy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you very much 👍

@maartenberg
Copy link
Member Author

@OpsBotPrime merge and tag

Approved-by: maartenberg
Priority: Normal
Auto-deploy: false
@OpsBotPrime
Copy link
Contributor

Rebased as e9f6d6a, waiting for CI …

@OpsBotPrime
Copy link
Contributor

CI job 🟡 started.

@OpsBotPrime
Copy link
Contributor

@maartenberg I tagged your PR with v35. Please wait for the build of e9f6d6a to pass and don't forget to deploy it!

@OpsBotPrime OpsBotPrime merged commit e9f6d6a into master Aug 20, 2025
6 of 7 checks passed
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