Skip to content
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.

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

syntax_pos: Optimize symbol interner pre-filling slightly #60700

Merged
merged 1 commit into from May 11, 2019

Conversation

Projects
None yet
3 participants
@petrochenkov
Copy link
Contributor

commented May 10, 2019

@nnethercote

This comment has been minimized.

Copy link
Contributor

commented May 10, 2019

@bors r=nnethercote

@bors

This comment has been minimized.

Copy link
Contributor

commented May 10, 2019

📌 Commit aeee1fb has been approved by nnethercote

@petrochenkov

This comment has been minimized.

Copy link
Contributor Author

commented May 10, 2019

@bors rollup

@bors

This comment has been minimized.

Copy link
Contributor

commented May 11, 2019

⌛️ Testing commit aeee1fb with merge b8e0d0a...

bors added a commit that referenced this pull request May 11, 2019

Auto merge of #60700 - petrochenkov:preintern, r=nnethercote
syntax_pos: Optimize symbol interner pre-filling slightly

r? @nnethercote
@bors

This comment has been minimized.

Copy link
Contributor

commented May 11, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: nnethercote
Pushing b8e0d0a to master...

@bors bors added the merged-by-bors label May 11, 2019

@bors bors merged commit aeee1fb into rust-lang:master May 11, 2019

2 checks passed

Travis CI - Pull Request Build Passed
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.