Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 12, 2022

Blocked on rust-lang/rust#94749

Cc #1966

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Mar 12, 2022
@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Mar 20, 2022

📌 Commit 1cda05e has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Mar 20, 2022

⌛ Testing commit 1cda05e with merge a64e6fd...

@bors
Copy link
Contributor

bors commented Mar 20, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing a64e6fd to master...

@bors bors merged commit a64e6fd into rust-lang:master Mar 20, 2022
@RalfJung RalfJung deleted the remove_dir_all branch March 20, 2022 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-blocked-on-rust Status: Blocked on landing a Rust PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants