Skip to content

Conversation

@github-actions
Copy link
Contributor

To finish this update: Select Merge pull request below and Confirm merge. Also, make sure to publish the created draft release in the releases section as well.

@lukasmasuch lukasmasuch merged commit ae21828 into main Jul 31, 2025
@lukasmasuch lukasmasuch deleted the update/2025.07.31 branch July 31, 2025 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants