Skip to content

Some symbol optimizations #7046

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 7, 2021
Merged

Some symbol optimizations #7046

merged 1 commit into from
Apr 7, 2021

Conversation

camsteffen
Copy link
Contributor

changelog: none

@rust-highfive
Copy link

r? @giraffate

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 6, 2021
@giraffate
Copy link
Contributor

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Apr 7, 2021

📌 Commit 47f0c15 has been approved by giraffate

@bors
Copy link
Contributor

bors commented Apr 7, 2021

⌛ Testing commit 47f0c15 with merge db6ea84...

@bors
Copy link
Contributor

bors commented Apr 7, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: giraffate
Pushing db6ea84 to master...

@bors bors merged commit db6ea84 into rust-lang:master Apr 7, 2021
@bors bors mentioned this pull request Apr 7, 2021
Merged
@camsteffen camsteffen deleted the symbol-optimize branch July 8, 2021 22:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@giraffate giraffate giraffate approved these changes

Assignees

@giraffate giraffate

Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@camsteffen @rust-highfive @giraffate @bors