Skip to content

Conversation

@alexcrichton
Copy link
Owner

One day I might set up auto-publishing but alas it is not yet such a day.

@alexcrichton alexcrichton requested a review from ehuss June 6, 2025 21:50
Copy link
Collaborator

@ehuss ehuss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I meant to bump this in #606, but somehow messed it up.

@ehuss ehuss merged commit 739b5fd into main Jun 6, 2025
14 checks passed
@ehuss ehuss deleted the bump branch June 6, 2025 23:02
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.

2 participants