Skip to content

Conversation

@apiraino
Copy link
Contributor

This reverts commit 154a7e7.

I broke everything, see Zulip.

cc @Urgau

@Urgau
Copy link
Member

Urgau commented Oct 22, 2025

Sorry, I also missed that. We should add a test for that next time.

@Urgau Urgau added this pull request to the merge queue Oct 22, 2025
Merged via the queue into rust-lang:master with commit 842e2bd Oct 22, 2025
3 checks passed
@apiraino apiraino deleted the revert-2172 branch October 22, 2025 15:37
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