Skip to content

Conversation

ytmimi
Copy link
Contributor

@ytmimi ytmimi commented Jul 26, 2022

Closes #4635

It's unclear which commit resolved this, but the original issue cannot be reproduced.

Closes 4635

It's unclear which commit resolved this, but the original issue cannot
be reproduced.
@shulaoda
Copy link
Contributor

It’s clear that this can be merged directly.

@Manishearth Manishearth enabled auto-merge October 11, 2025 15:49
@Manishearth Manishearth merged commit 85d72bc into rust-lang:master Oct 11, 2025
26 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

\" in a comment duplicates closing parenthesis

4 participants