Skip to content

Conversation

@Mr3zee
Copy link
Member

@Mr3zee Mr3zee commented Jul 9, 2025

Release 0.8.1

Bugfix release for 0.8.0

@Mr3zee Mr3zee requested a review from e5l July 9, 2025 09:54
@Mr3zee Mr3zee self-assigned this Jul 9, 2025
@Mr3zee Mr3zee added the release Release PR label Jul 9, 2025
@Mr3zee Mr3zee temporarily deployed to github-pages July 9, 2025 13:28 — with GitHub Actions Inactive
@Mr3zee Mr3zee merged commit 72384dd into main Jul 9, 2025
19 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants