Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 24, 2025

We probably should do this everywhere; I'll just port the one as an example.

@rustbot
Copy link
Collaborator

rustbot commented Nov 24, 2025

Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.

@rustbot rustbot added the S-waiting-on-review Status: Waiting for a review to complete label Nov 24, 2025
@RalfJung RalfJung enabled auto-merge November 24, 2025 22:13
@RalfJung RalfJung added this pull request to the merge queue Nov 24, 2025
Merged via the queue into rust-lang:master with commit fe59dd4 Nov 24, 2025
13 checks passed
@RalfJung RalfJung deleted the libc-env-cstr branch November 24, 2025 23:12
@rustbot rustbot removed the S-waiting-on-review Status: Waiting for a review to complete label Nov 24, 2025
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