Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented May 2, 2023

saves another 10 mb on self (since we didn't shrink the vecs)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 2, 2023
@Veykril
Copy link
Member Author

Veykril commented May 2, 2023

@bors r+

@bors
Copy link
Contributor

bors commented May 2, 2023

📌 Commit 90499d4 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 2, 2023

⌛ Testing commit 90499d4 with merge 4ecd7e6...

@bors
Copy link
Contributor

bors commented May 2, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 4ecd7e6 to master...

@bors bors merged commit 4ecd7e6 into rust-lang:master May 2, 2023
@Veykril Veykril deleted the boxed-slices branch August 2, 2023 08:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants