Skip to content

Conversation

@hulxv
Copy link
Contributor

@hulxv hulxv commented Jan 2, 2026

Related to #4725

@rustbot
Copy link
Collaborator

rustbot commented Jan 2, 2026

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 Jan 2, 2026
@RalfJung RalfJung added this pull request to the merge queue Jan 18, 2026
@RalfJung
Copy link
Member

LGTM, thanks!

Merged via the queue into rust-lang:master with commit 9afd3ea Jan 18, 2026
13 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Waiting for a review to complete label Jan 18, 2026
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.

3 participants