Skip to content

chore: bump version to 0.4.2#127

Merged
mathiasbourgoin merged 1 commit intomainfrom
bump-version-0.4.2
Feb 27, 2026
Merged

chore: bump version to 0.4.2#127
mathiasbourgoin merged 1 commit intomainfrom
bump-version-0.4.2

Conversation

@mathiasbourgoin
Copy link
Collaborator

Summary

  • Bumps dune-project and all 9 .opam files from 0.4.1 to 0.4.2 to match the release version.

🤖 Generated with Claude Code

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@mathiasbourgoin mathiasbourgoin merged commit c3c96c9 into main Feb 27, 2026
1 check passed
@mathiasbourgoin mathiasbourgoin deleted the bump-version-0.4.2 branch February 27, 2026 09:12
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