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 edd2a13 into main Jun 26, 2025
@lukasmasuch lukasmasuch deleted the update/2025.06.26 branch June 26, 2025 15:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants