Skip to content

Conversation

eopb
Copy link
Contributor

@eopb eopb commented Sep 25, 2024

Copy link
Contributor

@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!

@ehuss ehuss merged commit 447f8a0 into rust-lang:master Sep 25, 2024
3 checks passed
@eopb eopb deleted the patch-1 branch September 25, 2024 17:20
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