Skip to content

Conversation

@andreasabel
Copy link
Member

Closes #66.

@andreasabel andreasabel merged commit bbf8f0f into master Jan 26, 2024
@andreasabel andreasabel added this to the 0.2 milestone Jan 26, 2024
@andreasabel andreasabel deleted the issue-66 branch January 26, 2024 04:57
@andreasabel andreasabel modified the milestones: 0.2, 0.1.0.2 Jul 2, 2024
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.

push-cabal --incr-rev prints wrong revision

2 participants