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

fix EncodeWithShorthand for Predicate #72743

Merged
merged 1 commit into from
May 31, 2020
Merged

Conversation

lcnr
Copy link
Contributor

@lcnr lcnr commented May 29, 2020

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 29, 2020
@nikomatsakis
Copy link
Contributor

@bors r+ rollup=never

Seems unlikely this has a perf impact but worth being able to track it if so.

@bors
Copy link
Contributor

bors commented May 29, 2020

📌 Commit 222fbd2 has been approved by nikomatsakis

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 29, 2020
@Dylan-DPC-zz
Copy link

@bors p=1

@bors
Copy link
Contributor

bors commented May 30, 2020

⌛ Testing commit 222fbd2 with merge ef340b3520b011127ac6120f2390686c5b42ea8e...

@Dylan-DPC-zz
Copy link

@bors retry

@bors
Copy link
Contributor

bors commented May 31, 2020

⌛ Testing commit 222fbd2 with merge b6fa392...

@bors
Copy link
Contributor

bors commented May 31, 2020

☀️ Test successful - checks-azure
Approved by: nikomatsakis
Pushing b6fa392 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 31, 2020
@bors bors merged commit b6fa392 into rust-lang:master May 31, 2020
@lcnr lcnr deleted the predicate_f branch May 31, 2020 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants