Skip to content

Conversation

hojberg
Copy link
Contributor

@hojberg hojberg commented Oct 9, 2025

Updates to the latest unison version

@hojberg hojberg merged commit 75e1b66 into main Oct 9, 2025
4 checks passed
@hojberg hojberg deleted the upgrade-unison-oct-9 branch October 9, 2025 16:56
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