Skip to content

Conversation

@JohnTitor
Copy link
Member

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Jan 27, 2024

@JohnTitor: no appropriate reviewer found, use r? to override

@JohnTitor JohnTitor enabled auto-merge January 27, 2024 20:37
@JohnTitor JohnTitor added this pull request to the merge queue Jan 27, 2024
Merged via the queue into rust-lang:main with commit bea1bcb Jan 27, 2024
@JohnTitor JohnTitor deleted the gate-fix branch January 27, 2024 22:59
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.

2 participants