Skip to content

Conversation

RalfJung
Copy link
Member

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

RalfJung commented Apr 1, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Apr 1, 2022

📌 Commit e136680 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Apr 1, 2022

⌛ Testing commit e136680 with merge 5d5d8b1...

@bors
Copy link
Contributor

bors commented Apr 1, 2022

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

@bors bors merged commit 5d5d8b1 into rust-lang:master Apr 1, 2022
@RalfJung RalfJung deleted the max-size branch April 1, 2022 23:47
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