Skip to content

Conversation

@tgross35
Copy link
Contributor

@tgross35 tgross35 commented Mar 5, 2025

This turned out to not be useful, so remove it.

This reverts commit b7b9310.

This turned out to not be useful, so remove it.

This reverts commit b7b9310.
@tgross35 tgross35 enabled auto-merge (rebase) March 5, 2025 06:37
@tgross35 tgross35 merged commit 56cfe97 into rust-lang:master Mar 5, 2025
26 checks passed
@tgross35 tgross35 deleted the revert-no-f16-gnu branch July 23, 2025 00:18
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.

1 participant