Skip to content

Conversation

@tcely
Copy link
Contributor

@tcely tcely commented Nov 26, 2025

For #1101

@tcely tcely marked this pull request as ready for review November 26, 2025 02:14
@tcely tcely moved this to Todo in Status Nov 26, 2025
@meeb meeb merged commit 84a23bf into meeb:main Dec 1, 2025
9 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Status Dec 1, 2025
@tcely tcely deleted the patch-6 branch December 1, 2025 18:16
@tcely
Copy link
Contributor Author

tcely commented Dec 2, 2025

@meeb Was the release workflow triggered for this?

@meeb
Copy link
Owner

meeb commented Dec 2, 2025

Oh yeah right you are, needs a manual release as well. Created.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants