Skip to content

Open 0.9.2 development#198

Merged
ccomb merged 1 commit into
mainfrom
chore/bump-0.9.2-dev
Jul 11, 2026
Merged

Open 0.9.2 development#198
ccomb merged 1 commit into
mainfrom
chore/bump-0.9.2-dev

Conversation

@ccomb

@ccomb ccomb commented Jul 11, 2026

Copy link
Copy Markdown
Owner

Resume the -dev suffix on the cabal version now that v0.9.1 is tagged, so main advertises 0.9.2-dev until the next release.

Resume the -dev suffix on main now that v0.9.1 is tagged.
@ccomb ccomb merged commit 7c7c6d4 into main Jul 11, 2026
9 checks passed
@ccomb ccomb deleted the chore/bump-0.9.2-dev branch July 11, 2026 11:16
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