Skip to content

Conversation

Noratrieb
Copy link
Member

As implemented in rust-lang/rust#103345

@Noratrieb
Copy link
Member Author

@davidtwco

@JohnTitor JohnTitor added S-blocked Status: this PR is blocked waiting for something S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content and removed S-blocked Status: this PR is blocked waiting for something labels Oct 22, 2022
@JohnTitor
Copy link
Member

This LGTM, @davidtwco could you review?

@davidtwco davidtwco merged commit 6686b1e into rust-lang:master Oct 25, 2022
@Noratrieb Noratrieb deleted the flat-diag branch October 25, 2022 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants