Skip to content

Conversation

@weiznich
Copy link
Contributor

@weiznich weiznich commented Oct 9, 2025

Somehow github swallowed the last PR that I've opened :(

I also removed the note that you can reach out via Mastodon as that did not work out in the past.

Somehow github swallowed the last PR that I've opened.

I also removed the note that you can reach out via Mastodon as that did not work out in the past.
Added Mastodon as a contact option for Rust project owners seeking contributors.
Copy link
Contributor

@nellshamrell nellshamrell left a comment

Choose a reason for hiding this comment

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

Ty!

@nellshamrell nellshamrell dismissed ericseppanen’s stale review October 15, 2025 20:39

I have fixed this manually. Good catch in review, though!

@nellshamrell nellshamrell merged commit 759fe76 into rust-lang:master Oct 15, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants