Skip to content

Conversation

purplesyringa
Copy link
Contributor

As per #1173 (review).

Copy link
Member

@dtolnay dtolnay left a comment

Choose a reason for hiding this comment

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

Thank you for following up on that suggestion.

@dtolnay dtolnay merged commit 8073fc1 into serde-rs:master Aug 12, 2024
16 checks passed
@purplesyringa purplesyringa deleted the miri-on-ci branch August 12, 2024 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants