Skip to content

Conversation

dianqk
Copy link
Member

@dianqk dianqk commented Aug 14, 2024

This reverts commit 0be5954.

It seems that this issue has already been resolved: rust-lang/rust#129085 (comment).

@dianqk dianqk requested a review from a team August 14, 2024 13:28
@dianqk dianqk merged commit 0d0b11a into rust-lang:rustc/19.1-2024-07-30 Aug 14, 2024
@dianqk dianqk deleted the builtin_available branch August 14, 2024 13:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants