Skip to content

Release 3 0 1#103

Merged
guibou merged 1 commit into
mainfrom
release_3_0_1
Dec 7, 2025
Merged

Release 3 0 1#103
guibou merged 1 commit into
mainfrom
release_3_0_1

Conversation

@guibou

@guibou guibou commented Dec 7, 2025

Copy link
Copy Markdown
Owner

No description provided.

@guibou

guibou commented Dec 7, 2025

Copy link
Copy Markdown
Owner Author

Trying to address #102

This is mostly a bump hackage / ghc support release. I was actually
unaware that people were using krank, so I was letting it die, but looks
like some people care, thank you ;)

chore: prepare release 3.0.1
@guibou guibou merged commit 58adbb8 into main Dec 7, 2025
5 checks passed
@guibou guibou deleted the release_3_0_1 branch December 7, 2025 12:27
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.

1 participant